 This representation is based on Lewis’s (1975) paper, and is said to be a tripartite structure, consisting of a quantifier Q, a Restrictor R (picking out the domain of Q), and the Scope S, also called the matrix (picking out the properties attributed to Q elements of R). Tripartite structures take the form “Q [R] [S]”. The sentence represented by the tripartite structure is true iff Q Rs satisfy S.