RT DF A1 DeBenedetto, Justin Donald. T1 Multiset and DAG Automata for Abstract Meaning Representation