p(1). p(2). p(3). p(4).

#sig a(p),b(p).

a(X) v b(X).

:- b(1),b(2).

