Snappy
Snappy is a tool for learning Forst Order Logic (FOL). It can translate
FOL formulas into a text in English. This is done by mapping predicates
to partially lexicalised syntactic trees. These trees are then processed
by a python Natural Language Generation library
nlglib.
Try it »