%~all(A,exists(Y,all(X,(m(X,Y) <=> m(X,A))))).
~exists(Y,all(A,all(X,(m(X,Y) <=> m(X,A))))).