begin_problem(example2).
list_of_descriptions.
name({*Ground transitivity instance*}).
author({* Somebody *}).
status(unsatisfiable).
description({* example *}).
end_of_list.

list_of_symbols.
  functions[(a,0), (b,0), (c,0)].
end_of_list.

list_of_formulae(axioms).
formula(equal(b,a)).
formula(equal(b,c)).
end_of_list.

list_of_formulae(conjectures).
formula(equal(a,c)).
end_of_list.

list_of_settings(SPASS).
{*
set_flag(Auto,0).
set_flag(ISPm,1).
set_flag(ISRe,2).
set_flag(ISFc, 1).
set_flag(SOS, 1).
  set_flag(DocProof,1).
*}
end_of_list.

end_problem.