input_formula(comsem,conjecture,~ (((! [A]: (event(A) => thing(A))) & ((! [B]: (entity(B) => thing(B))) & ((! [C]: (object(C) => entity(C))) & ((! [D]: (organism(D) => entity(D))) & ((! [E]: (animal(E) => organism(E))) & ((! [F]: (person(F) => organism(F))) & ((! [G]: (man(G) => person(G))) & ((! [H]: (woman(H) => person(H))) & ((! [I]: (boxer(I) => person(I))) & ((! [J]: (entity(J) => ~ event(J))) & ((! [K]: (organism(K) => ~ object(K))) & ((! [L]: (person(L) => ~ animal(L))) & (! [M]: (woman(M) => ~ man(M))))))))))))))) & (! [N]: (boxer(N) => (? [O]: (woman(O) & love(N,O))))))).