Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 07:55:10 UTC
A.14:9.6 - Collection belonging and separately grounded parthood
ID
Requirement
Purpose
CC-MEM-1
State collection belonging with the predicate defined for that subject. Name the entity, collection, collection identity rule, what makes belonging begin and end, whether it can recur, and how past belonging is said.
Keeps unlike fleets, corpora, communities, populations, products, and Suites under their own rules.
CC-MEM-2
From collection belonging alone infer neither a constructive part relation nor holonhood. Also do not infer that either is impossible.
Separates non-implication from universal prohibition.
CC-MEM-3
If the same collection independently passes all six A.1 matters and a constructive part relation obtains, publish that second claim under its direct pattern. A direct belonging sentence needs no B.3.5 fields. When B.3.5 assurance is elected for it, use validationMode=axiomatic and one current C.13 set trace; the trace reports the collection, entities, relation occurrences, rule, and identity conditions and creates none of them.
Keeps collection belonging, constructive parthood, assurance, and collective action separate.