Since, in this example, the rule is a rule which is to mean to hold true for all instances in a collaboration diagram in a set of documents and data within a collaboration diagram document will be inconsistent with the rule if any of the data cannot be linked with other data in a class diagram document, the type of rule CT and this type would therefore entered (s31) as the rule type.