APPROVED Jeremy J. Carroll The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations.