Reification, basic
User equality, basic aspects
Equations, basic
Built-ins (side-effect-free functions/operators, read/write)
Access to surrounding object-oriented data environment, cf. OO Production Rules
Ontological context translation &
mediation
Contextual selection conditions for whole
rulesets
Rules flow: some (e.g., sequencing of rule groups)
probably some more things we forgot to
list here