We define Canonical Form Minimal Recursion Semantics (CF-MRS) and prove that all the well-formed MRS structures generated by the MRS semantic composition algorithm are in this form. We prove that the qeq relationships are equivalent to outscoping relations when MRS structures are in this form. This result fills the gap between some underspecification formalisms and motivates defining a Canonica...

days, an important research area within Robotics and Artificial Intelligence and a growing number of systems have been recently presented in the literature. In this paper we present an analysis of the most relevant works on M R S by specifically examining their cooperative aspects. In particular, we propose a new taxonomy for a fine and precise analysis of the recent works on M R S and we descr...