A.6.5:3 - Forces · fpf.tools

Force	Tension
Readability and reuse	The first relation sentence stays simple, while later claims may need exact typed SlotSpecs.
Local SlotKind and durable participant	A SlotKind is local to one declaration, while the relation participant keeps the identity and kind defined elsewhere.
Exact range and open-ended ontology	A ValueKind needs enough precision for the predicate without forcing every participant into a newly minted U-kind.
Embedded value and stable reference	Some assertion or relation-occurrence description epistemes designate an actual participant by value; others designate it through a reference to an independently identified entity. The world-side relation occurrence has the participant directly in either case.
Logical form and constructive grounding	Predicate and slot discipline help review a relation, while FPF still needs grounded participants, a relation obtaining predicate, and a relation occurrence-identity rule.
Grammatical verb and ontological kind	A verb can express a relation predicate without turning the relation into work, method, transformation, agency, or a holon.