Spec-THFP revision 34f39ea74476d1637e9b21f5c8d18a4c26a6671b
logic THF.THFP
spec test =
thf(b,type,(b : $tType)).
thf(test_tuple,type,(test_tuple: b * b)).
thf(ax_in,axiom,( test_tuple = [a,a] )).
thf(th_in,conjecture,( test_tuple = [a,a] )).