Using Eclipse TPTP to visualize