Past Issues

No

Operating modes in consequences area (sub conditionals).

No

Overwriting of inherited equations.

No

Functional expressions as functors.

Global Constants may be defined with defQuantityFunction by providing an empty list of argument types (when appropriate) and a value restriction such as (= ;SPMlt;name;SPMgt; 3.141592618). (Issue raised by Adam Finkelstein in the context of asking about substitutions (e.g., PI, Plank's constant, perhaps G)).

We currently allow not in antecedents.

The terms ``top level form'', ``model fragment definition'' and ``model fragment instance'' unambiguously specify the appropriate objects.

Dimensions of quantities are specified in the defQuantityFunction form.

The magnitude of a quantity-value may be rendered in units of the appropriate dimension by the function magnitude.

It is possible to specify quantities that are subsets of the extended reals using defQuantityFunction (including integers, reals, etc.).

The active and instance-of relations are needed for CML. As long as time was implicit, this was not clear, but making time explicit requires the distinction to be made.