set(binary_res).
set(prolog_style_variables).

list(sos).

man(socrates).
-man(X) | mortal(X).

-mortal(socrates).

end_of_list.

