Create tptp.pegjs