 Intuitively, if a language is compositional it cannot contain a pair of non-synonymous complex expressions with identical structure and pairwise synonymous constituents. This should follow from the fact that the same structure and the same meanings of constituents cannot determine more than one meaning within a language. But to ensure that the inference really holds, we need to rule out a certain reading of  (C).  