truthtable
syntaxtree
fo-graph