TBC
RIF expressions have a unique semantics, whereas the semantics of rules depends on the dialect.
- How semantics are specified
- Each standard RIF dialect must have a clear and precise syntax and semantics that extends RIF core;
- For standard RIF dialects, model theories will be normative; in their absence it will be proof theories; in the absence of both it will be operational semantics.