A.6.P:5.5 - Formal reduced case

3 < 5 is assertion content in mathematical notation. The numeral occurrences, comparison sign, and operand places are representation elements under C.29. An explicit correspondence can relate them to the values, direct less-than predicate, and any compatible declaration used for typed reuse. No receiving use here distinguishes one obtaining occurrence from another, so the engineer stops at the assertion. A graph edge, tuple, or statement reifier introduced by a tool represents the proposition or assertion; it does not constitute the direct relation.