Squib: Expressive Power of Abstract Meaning Representations
The syntax of abstract meaning representations (AMRs) can be defined recursively, and a systematic translation to first order logic (FOL) can be specified, including a proper treatment of negation. AMRs without recurrent variables are in the decidable two variable fragment of FOL. The current definition of AMRs has limited expressive power for universal quantification (up to one universal quantifier per sentence) A simple extension of the AMR syntax and translation to FOL provides the means to represent projection and scope phenomena.
CL