set(auto).

list(usable).

-baby(x) | illogical(x).

-despised(x) | -can_manage(x).

-illogical(x) | despised(x).

baby(c).

can_manage(c).

end_of_list.
