<!ELEMENT extension (context)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
><!ELEMENT context (contextElement*)>
<!ATTLIST context
id CDATA #REQUIRED
><!ELEMENT contextElement ((contractElementRef | key) , contextValue)>
<!ATTLIST contextElement
id CDATA #REQUIRED
><!ELEMENT contextValue EMPTY>
<!ATTLIST contextValue
value CDATA #REQUIRED
class CDATA #IMPLIED
>Define a readable string value. This value may be interpreted
<!ELEMENT contractElementRef EMPTY>
<!ATTLIST contractElementRef
contractElementReferenceId CDATA #REQUIRED
>Context element refers directly to identified contract element.
<!ELEMENT key EMPTY>
<!ATTLIST key
name CDATA #REQUIRED
>Context element is a simple (key, value) holder.