The following RIF constructs are not supported.
| • | DTB built-ins and aggregations, only ObjectLogic ones are supported. |
| • | RIF remote term references and formulas. |
| • | Terms with named arguments. |
| • | Annotations on non top level formulas.
An exception is the special annotation for ObjectLogic modules. |
| • | Annotations which are not a frame or a group or conjunction of frames. |
| • | Non constant terms as a leading term within a positional term. |
| • | Equality as a fact or within the conclusion of a top level implication. |
These RIF terms must be used in formula positions only.
These RIF terms must not be used backwards in formula positions:
