You do not have access to this note.

23.3 Predicates and Intended Interpretations