%%%%%%%%%%%%%%%%%%  element/2  %%%%%%%%%%%%%%%%%%%%%%%%

bg_model([]).

query1(Clauses):-
	induce_rlgg([+element(b,[b]),
	             +element(2,[2,3]),
	             +element(3,[1,2,3]),
	             +element(b,[a,b]),
	             +element(3,[2,3]),
	             +element(3,[3]),
	             -element(3,[a,b]),
	             -element(a,[])
	            ],Clauses).