assign(domain_size,3).
assign(max_models,-1).

list(distinct).
  [north,south,east].
end_of_list.

formulas(married).
   m(north) <->  (married(south) -> -peace).
   m(south) <-> (all x (married(x) -> -peace)).
   m(east)  <-> ((married(east) -> peace) & (married(south) -> -peace)).

  -m(north) & -m(south) & -m(east). 
   married(north) | married(south) | married(east).
   all x all y (married(x) & married(y) -> x = y).
   peace.
end_of_list.
