The ExternalRule elements provide the annotation that is used to report rule violations coming from uninterpreted models.

<xs:element name="ExternalRule"
	type="ExternalRuleType"
 />

See Also