A.6.P:2 - Problem
An under-specified relation claim blocks a later claim or operation because several ontological questions remain hidden inside one phrase:
- What kinds of objects are being related?
- Which direct relation predicate is asserted to obtain?
- Which relation-participant meanings are current, and are all actual participants named?
- Does the current text state world-side participation, make an episteme claim about the direct relation, or define a local kind of entities participating under one meaning?
- Does reusable typed use require a compatible
RelationSignatureand declaration-localSlotSpecs? - Does a later claim or operation need one obtaining occurrence to have explicit identity?
- If something changes, is the changed object the occurrence, a declaration edition, assertion content or reliance posture, an evidence relation, a designation, a receiving-episteme reference, a description, a publication relation, a Bridge, or a representation edition?
Without answers, readers cannot tell whether two statements disagree, whether one participant may replace another, whether an inverse sentence preserves meaning, or whether a later claim refers to an obtaining occurrence rather than to an assertion or representation of it.