fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 3859–3862

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:05:06 UTC

A.2:5.5 - A Relation Participant Slot Named role

An external notation may call one relation position role. Apply E.10.ROLE and A.6.RSIR to recover the participant meaning and declaration-local SlotKind. Its ValueKind is the participant kind. The external label creates neither a system-role kind nor an assignment. A System participates in the relation as declared; it holds a system-role assignment only through a separate occurrence of a declared assignment species.