Presentation of Problems

(TPTP) presentation should not affect evaluation

• Predicate and function symbol names are irrelevant

• Formula, clause, literal, and argument ordering is irrelevant

• Formula type information can be used

Implement appropriate preprocessing