AMR as a semantic representation language appears based on the assumption that we lack a simple readable semantic bank of natural language sentences "paired with their whole-sentence, logical meanings" (Banarescu et al., 2013).
they started annotating the logical meaning of sentences, for which a particular sentence is encoded as a Directed Acyclic Graph (DAG).