This interface is for processing solutions.
If you want to solve problems, use the
SystemOnTPTP interface.
If you want to process models specifically, use the
SystemOnTMTP interface.
The TPTP Needs Money
See the TPTP web page for details,
benefits, and process of making a donation.