SBVR — XMI Names for ESBVR

The following “Necessity” statements in 13.2 (pages 153-154) are not needed and should be removed.

‘fact’ is the XMI name of the Fact Class.

‘instantiation’ is the XMI name of the Instantiation Class.

‘integer’ is the XMI name of the Integer Class.

‘text’ is the XMI name of the Text Class.

‘extension’ is the XMI name of the Extension Class.

Recommendation:

Remove the lines containing the statements listed above from the specification.

Remove the unnecessary statements