0{ italian(X), english(X) }1 :- person(X),      thing(X).
person(X) :- italian(X),                        thing(X).
person(X) :- english(X),                        thing(X).
1{ lazy(X), latinlover(X) }1 :- italian(X),     thing(X).
italian(X) :- lazy(X),                          thing(X).
italian(X) :- latinlover(X),                    thing(X).
0{ gentleman(X), hooligan(X) }2 :- english(X),  thing(X).
english(X) :- gentleman(X),                     thing(X).
english(X) :- hooligan(X),                      thing(X).
gentleman(X) :- latinlover(X),                  thing(X).
italian(e).
thing(e).
