begin_problem(Pelletier23).

list_of_descriptions.
name({**}).
author({**}).
status(unsatisfiable).
description({**}).
end_of_list.

list_of_symbols.
  predicates[(P,1), (M,1),(H,1)].
end_of_list.

list_of_formulae(axioms).
formula(forall([x], implies(H(x),M(x)))).
formula(not(exists([x], and(M(x),P(x))))).
end_of_list.

list_of_formulae(conjectures).


formula(not(exists([x], and(H(x),P(x))))).
end_of_list.

end_problem.