The main goals for MRS is to be expressively adequate allowing linguistic meaning to be represented properly, to be compatible with other modules in a grammar, to be computational tractable, and to support underspecification.
we arrive at the same semantics for both sentences in Example (8).