%==============================================================================

include("argumentacion-1a.in").

formula_list(sos).
 % Los galgos son perros
 all x (GALGO(x) -> PERRO(x)).
end_of_list.

%==============================================================================