Uniform method for printing general terms.
0-ary true and false.c
Make a TPTP-DB object.
More semantic actions.