query(p39,(a(_684212),a(s),b(s)),[a(s),b(s)],[],[a(s),b(s)]).
%-----------------------------------------------------------

:- table a / 1.
:- table b / 1.

b(s) :- tnot(b(s)).
a(A) :- b(A).