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 »