Conclusion

Achieved so far ...

• TPTP language
• Standards for writing derivations and finite interpretations
• Increasing interoperability

Things to do ...

• antlr grammar

Use the TPTP Language - It's Good for You