A.6.P.WMR:4.2 - Use the four claim dimensions only when they can change the answer
The four dimensions remain independent. Make a dimension explicit when two plausible values would change the sentence, the next action, or the stop. Otherwise let ordinary grammar carry it: CF-17 was consumed by W-204 during I-204 already states a positive historical subject relation at one extent and does not require the reader to label four axes.
| Claim dimension | Recovered answer | Non-inference guard |
|---|---|---|
| Claim subject | One reusable declaration, particular intended relation, commitment relation, or particular subject relation. | Selecting the subject decides neither whether it obtains nor its polarity, time, or support. |
| Modality and temporal extent | generic; intended or planned; actually obtaining at the current exact extent; or historically obtained at one exact past extent. State commitment fulfilment separately. | An obtaining commitment does not make the promised relation fulfilled; a past relation remains a historical claim at its governed extent. |
| Polarity | Positive or negative under one exact predicate, condition, and governor. | A governed negative claim individuates no obtaining relation occurrence. Absent support or missing information does not establish negative polarity. |
| Recovery or support state | governed-and-assertable, factually unsupported, missing-information, or missing-governor. | This state reports whether the selected claim can be asserted; it neither makes nor prevents the subject relation from obtaining. |
Well-formedness constraint WMR-WF1 — orthogonal claim dimensions. Whenever one of the four dimensions can alter the result, its value must be separately recoverable from the sentence or its immediate governed basis. No dimension supplies another. Explicit axis vocabulary is required only for a material ambiguity, comparison, assurance replay, or reusable formalization; it is not a prerequisite for every simple direct sentence.
Factually unsupported applies when an applicable governor is known but the available facts fail to support the proposed assertion; no opposite polarity follows without its own basis. Missing-information applies when the governor is known but one named fact needed for the answer is unavailable. Missing-governor applies when the exact participants and question are known but no current direct predicate, condition, or defining pattern or declaration closes it.
A current commitment is expressible without collapsing fulfilment only when its exact commitment RelationKind, participant meanings, extent, obtaining predicate, and the SubjectPatternLocator for its defining or constraining content are named; a local id such as COM-17 is not that settlement. The promised delivery remains intended and unfulfilled until its own exact token, fulfilment predicate, and facts establish fulfilment. A separately stated past case fact remains positive at its governed extent after its named participants satisfy the governor’s predicate; it need not obtain now to remain historically true.
A change in any dimension is substantive. A plan does not become an actually obtaining relation because its date arrives; a later observation does not retroactively manufacture a missing relation; and stronger support does not substitute for the subject relation’s own facts.