More complex semantic analysis is undertaken in the less widespread but highly detailed formalism of Abstract Meaning Representation (AMR, [1]}), which has facilities to indicate, for example, predication negation, possibly solving the problem in REF ; but AMR is not aligned to words, and it is impossible to use it for the purpose of coreference resolution, as the following example from the Little Prince corpus (ibid.) illustrates:
