This makes it possible to represent universal quantification, implication, negation and other logical operators.
 shows how an SSN can be mapped into a Discourse Representation Structure (DRS; Kamp & Reyle, 1993), thus providing a formal semantic interpretation of SSNs.