What Next?

• Community feedback
  • Is the language machine and human readable?
  • Is the language expressive/flexible enough for all use cases?
  • Is the scheme for semantic specification adequate?
  • Join the TPTP World Google Group

• Build infrastructure
  • Provide language BNF
  • Write parsers and exporters to existing languages
  • Collect problems for the TPTP Problem Library
  • Collect ATP systems, offer in SystemOnTPTP
  • Collect solutions for the TSTP Solution Library

• Release in the TPTP World
  • Release in TPTP v9.0.0
  • Encourage adoption (to make exports unnecessary)