Universal > Actor, Tool, Material. Actor > Baker. Tool > Oven, Mitten. Material > Dough, Salt. cg(cg1, [Actor]- -uses->[Tool], -uses->[Material]). cg(cg2, [Baker]- -uses->[Oven], -uses->[Dough]). cg(cg3, [Actor]- uses->[Tool]). cg(cg4, [Baker]- uses->[Oven]). cg(cg5, [Baker]- uses->[Mitten]). cg(cg6, [Baker]- uses->[Dough]). cg(cg7, [Baker]- uses->[Material]). cg(cg8, [Actor]- uses->[Material]). test1(G) :- cg(cg1, G1), cg(cg2, G2), generalize(G1, G2, G). test2(G) :- cg(cg3, G1), cg(cg4, G2), generalize(G1, G2, G). test3(G) :- cg(cg3, G1), cg(cg1, G2), generalize(G1, G2, G). test4(G) :- cg(cg3, G1), cg(cg2, G2), generalize(G1, G2, G). test5(G) :- cg(cg3, G1), cg(cg4, G2), generalize(G1, G2, G). test6(G) :- cg(cg2, G1), cg(cg5, G2), generalize(G1, G2, G). test7(G) :- cg(cg3, G1), cg(cg5, G2), generalize(G1, G2, G). test8(G) :- cg(cg7, G1), cg(cg6, G2), generalize(G1, G2, G). test9(G) :- cg(cg8, G1), cg(cg1, G2), generalize(G1, G2, G). test10(G) :- cg(cg3, G1), cg(cg7, G2), generalize(G1, G2, G).