F.3:14 - Relations
Builds on:
- Use F.1 for the finite source cut and receiving question.
- Use F.2 for exact expressions and source-local lexical notes.
- Use F.17 for
<ReferenceScheme, LocalExpression, LocalSenseClaim>only when a stable address is needed. - Use E.10.D1 to keep source, scheme, claim scope, model use, and working situation distinct when context wording is encountered.
Constrains:
- F.4 may cite an exact cell but never infers a local system-role kind from it.
- F.7 displays exact local claims or cells and already obtaining relations for one stated comparison or use; F.3 clustering creates neither a row relation nor permission.
- F.8 compares proposed wording with exact existing designations and claims without treating either as the value being named.
- F.9 tests a relation only between exact local meanings whose interpretation bases differ. F.3 establishes no Bridge, cross-source sameness, substitution, or use licence.
Used by. Part C patterns may cite a local-sense claim under its exact source and scheme; the direct pattern still defines or constrains the substantive value or relation in the example.