formulas(assumptions). % Description Axiom: all F all G all x ((Relation1(F) & Relation1(G) & Object(x)) -> ((Is_the(x,F) & Ex1(G,x)) <-> (exists y (Object(y) & Ex1(F,y) & (all z (Object(z) -> (Ex1(F,z) -> z=y))) & Ex1(G,y))))). end_of_list.