a(X) v b(X) :- e(X,Y).
a(X) v b(X) :- e(Y,X).

u(X) :- e(X,Y).
u(X) :- e(Y,X).