Parser for TPTP axiom and problem files