%%%%%%%%%%%%%%%%%%   num/2    %%%%%%%%%%%%%%%%%%%%%%%

bg_model([num(1,one),
	         num(2,two),
	         num(3,three),
	         num(4,four),
	         num(5,five)
	        ]).

query3(Clauses):-
	induce_rlgg([+listnum([],[]),
	             +listnum([2,three,4],[two,3,four]),
	             +listnum([4],[four]),
	             +listnum([three,4],[3,four]),
	             +listnum([two],[2]),
	             -listnum([1,4],[1,four]),
	             -listnum([2,three,4],[two]),
	             -listnum([five],[5,5])
	            ],Clauses).