Summary: July 14, 2008
Toward a Universal Underspecified
MEHDI HAFEZI MANSHADI, JAMES F. ALLEN, MARY SWIFT
We define Canonical Form Minimal Recursion Semantics (CF-MRS) and prove that
all the well-formed MRS structures generated by the MRS semantic composition algo-
rithm 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 Canonical Form Underspecified
Representation (CF-UR) which brings those underspecification formalisms together.
Keywords UNDERSPECIFICATION, SEMANTIC FORMALISMS, MINIMAL RE-
Several underspecification formalisms in semantic representation have been
proposed during the last two decades, such as Quasi Logical Form (Alshawi
and Crouch 1992), Hole Semantics (Bos 1996 and 2002), Minimal Recursion
Semantics (Copestake et al. 2001), and Dominance Constraints (Egg et al.
2001). Recently there have been some efforts to bring these formalisms under