. . " interpretations. In particular, if p is a property and c is a class," . . .