Translated version of ACE text "If John does not eat and it is not the case that somebody feeds him then John is hungry." A named A 'John' object A atomic named_entity person cardinality count_unit eq 1 B predicate B unspecified eat A C D object C dom unspecified person unspecified unspecified eq unspecified predicate D unspecified feed C A E F property E hungry predicate F state be A E