query(p40,a(_684200),[a(s),a(t),b(s)],[a(s),a(t)],[b(s)]).
%-----------------------------------------------------------

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

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