SPASSTest.hpf revision f04e8f3ff56405901be968fd4c6e9769239f1a9b
use SPASS/tests/SPASSTest.het
dg-all auto
dg basic Eq_Pred
translate SuleCFOL2SoftFOL
prove-all