Each example creates its own store with a written model version, tuples and assertions. Your current stores stay as they are.
can be assigned (relations listed)inherited via a tupleset∨ ∧ ¬ or · and · but not+ added ~ changed − removed
directcomputedfrom (tuple-to-userset)∧ and¬ but not
#rel userset:* wildcard⚡ condition