fof(formula_test_forall,conjecture,![Xx,Xy]:(Xx=Xx&Xy=Xy)).
------------------
fof(formula_test_exists,conjecture,?[Xx,Xy]:Xx=Xy).
fof(formula_test_forall,axiom,![Xx,Xy]:(Xx=Xx&Xy=Xy)).