fof(assumetest,conjecture,fx=fx).
------------------
fof(assumetest,conjecture,fx=fx).
fof(assumetest1,axiom,fx=fx).