  The denotation of complex noun phrases is also built through Boolean intersection: [M that P] = [M] ∧ [P]. So [gold that is in the safe] = [gold]∧[is in the safe] = (a∨b)∧a = a. And [gold that is not in the safe] = (a∨b)∧b = b.