The antonym axioms (Table 4) assert new literals explicitly stating the negation of the opposing concept of adjectives appearing in the semantic representation.
it asserts event(e2,memakan), agent(e2,a), and patient(e2,p).