Errata exists for this version of the document.

An InstanceDeclaration is an Object, Variable or Method that references a ModellingRule with a HasModellingRule Reference and is the TargetNode of a hierarchical Reference from a TypeDefinitionNode or another InstanceDeclaration. The type of an InstanceDeclaration may be abstract, however the instance must be of a concrete type.