x
First successful parse of AGT001+1.tptp!!!