A.6.P:4.6 - Resolve relation-dependent wording by the actual object
| Current reading | Actual object | Next move |
|---|---|---|
| world-side participation | one exact entity participates directly in an obtaining relation under one relation-participant meaning and retains its independently governed kind | use the direct relation pattern; add no SlotSpec unless reusable typed declaration is separately current |
| assertion- or description-side designation | a claim-bearing assertion or occurrence-description episteme designates an actual participant, or an already recoverable occurrence when identity is current | use C.2.1 plus the direct claim or description pattern; use A.6.5 only when a compatible RelationSignature actually supplies typed reuse |
| local kind used for participation-based reasoning | one exact local kind recovered through its candidate domain, operative membership condition, intended member/non-member boundary, and continuity rule, whose later typed claim quantifies over entities participating under one designated participant meaning and a declared extent rule; a practice or source reference may locate or prompt comparison of the definition but does not identify the kind | use C.3 and C.3.1 only for typed membership, quantification, substitution, or kind-order reasoning |
These readings leave no fourth qualification object. A readable word such as result, input, problem bearer, or next continuation can remain in Plain prose when the direct relation or claim is recoverable. Naming that reading creates neither a kind nor an occurrence. The world-side participant never becomes a declaration-local SlotSpec; the receiving episteme’s designation denotes the participant without replacing it.