op(400, infix, ["=>"]).

set(raw).
set(paramodulation).

set(print_gen).

formulas(usable).

   -DumLit | P(A => (1 => y)).

end_of_list.

formulas(sos).
  
   1 => x = x.

end_of_list.
