arning is heavily influenced by our work with Link Grammar, our approach to seman- tics is heavily influenced by our work on the RelEx system [RVC03, LGEUJ, GPPG06, LG ' 2], which maps the output of the Link Grammar parser into a more abstract, semantic form. Proto- type systems [Goc10b, LGIC 1:4 have a