fof(test1, axiom, ![X,Y]:((p(X,Y)&?[X]:(q(Y,X)=>q(X,Y))))).