Semantically Rich (4)
Algebra systems differ in their interpretation of differentiation.
Is it total, or with respect to a variable, or with respect to an argument position?
We need a neutral standard: the semantics in an OpenMath content dictionary.