A.6.P:4.3 - Recover actual participants, hidden arity, qualifiers, and typed declaration only when needed
Ask which actual participation belongs to the direct relation’s obtaining condition. Add a participant or qualifier only when it changes one of these:
- predicate satisfaction or relation obtaining;
- applicability or admissible use;
- occurrence identity;
- whether one participant can replace another without changing the claim;
- interpretation under an effective reference scheme;
- scope,
Γ_time, viewpoint, view, or another exact qualification defined by the direct relation or receiving claim; - witness or evidence expectations for a named decision or publication use;
- the exact later claim or operation.
For Sample_S wasMeasuredBy Instrument_I, a later evidence claim may separately refer to the measurement work occurrence, its interval, the applied measurement method, a measurement-result episteme, and a calibration episteme. The measured-by relation includes only the actual participants selected by its direct obtaining condition; the other objects remain participants or content of their own work, evidence, temporal, method-use, measurement, assertion, or description relations.
When reusable typed use is current, declare each participant meaning needed by that use through A.6.5:
SlotSpec := <SlotKind, ValueKind, refMode>
One SlotKind names one participant meaning locally inside one exact RelationSignature. ValueKind states the independently governed kind of the corresponding actual participant. refMode states how a receiving assertion or occurrence-description episteme designates that participant. The SlotSpec is declaration content; the participant does not become or occupy that declaration component. If one proposed ValueKind hides objects for which the predicate has different meaning, recover a real common kind or split the direct relation kind instead of preserving a hidden union as a prose list.