10.3.3 Eclipse TPTP