A.11:2 - Solution · fpf.tools

A.11:2 - Solution

Use four gates to establish the parsimony finding for the proposed ontology addition. Apply every gate to the same exact candidate, receiving claim or use, and current facts. Find the best existing expression first; then state the exact loss, overlap discriminator, newly admissible claim or action, and nearest excluded case for that same use. A positive finding continues the complete admission test under E.24/E.24.UK or the candidate’s direct subject-kind governor; it is not that admission result or project-side permission.

Gate	Test question	Pass condition
Composition	What is the best existing governed expression for this exact receiving claim or use?	Pass only when that expression loses a stated claim, boundary, or admissible use.
Non-redundancy	How far does the candidate overlap an existing governed value or relation, and what discriminates the remainder?	Pass only when the bounded remainder changes an admissible claim for the same use.
Action-facing contribution	Which exact claim or action becomes admissible because this addition exists?	Pass only when that contribution reaches the named use rather than supplying naming comfort or source prestige.
Sharp boundary	What is the one-sentence inclusion test, and which nearest case is excluded?	Pass only when both cases can be distinguished from stated facts without private author intent.

The questions can be answered as an ordinary comparison. Use this compact record or view when the result must be retained or consumed. If an E.24-family decision is current, put or reference the parsimony evidence there and resolve this view back to that decision, preserving every required E.24:4.0a value. The view is not a second independently editable admission decision; a local wording or existing-expression answer need not create one.

ParsimonyAdmissionRecord:
  Candidate: candidate examined by this parsimony inquiry
  RecoveredGovernedObject:
  E24FamilySettlementDecisionRef: exact E.24:4.0a shared decision when one is current
  ReceivingClaimOrUse:
  CurrentFactsRef:
  ExistingExpressionAttempt: best existing governed expression for that claim or use
  MaterialLossIfComposed: exact lost claim, boundary, or admissible use
  OverlapWithExistingValues: extent plus discriminator
  ActionFacingContribution: exact newly admissible claim or action
  BoundaryTest: inclusion test plus nearest excluded case
  Disposition: parsimony finding and continuation; cite the separate admission result when current

Possible continuations of the parsimony finding:

retain as a root U-kind only with the corresponding complete admission result;
retain as a dependent durable value only with its complete root-coupled settlement: same-individual dependence keeps the root individual’s identity and adds a stable membership condition implying root-kind membership for that same individual; identity dependence identifies a distinct individual through a governed relation to a named root individual and all additional discriminators;
retain as a local C.3 kind or typed claim under its direct rule;
express through an existing governed expression;
keep as source wording or a local name;
for a relation-kind candidate, stop at the exact A.6.RCD existing-predicate, local-compound, subject-bounded-law, or reusable-predicate-definition result; none of these stops admits a relation kind;
continue a derived relation-kind candidate only with the required stable occurrence semantics, named receiving use, and proposed direct settlement; or
continue an irreducible primitive relation-kind candidate only when A.6.RCD disposition 4 passes: every accepted derivation loses the exact action-facing distinction, and independent receiving uses and obtaining, recurrence, applicability, and occurrence-identity laws are supplied.

These are continuation alternatives, not a single admission-result vocabulary. An actual U-kind decision uses E.24.UK:4.1–4.2: exactly root, same-individual-dependent, identity-dependent, reuse, local-kind, or reject. Only the first three are positive admissions after the complete test; the remaining three are non-admission exits.