"StructuralElementHasStructuralElementType"
Fact Type ↑
Summary

*Structural element has structural element type if and only if
that structural element is some concept
where structural element type = concept
or that structural element exists
where structural element type = acronym
or that structural element is some record
where structural element type = record
or that structural element is some container
where structural element type = container
or that structural element is some container1 that has that structural element type
or that structural element is some record1 that has that structural element type.


Notes: The derivation rule involves inclusive-or conditions, resulting to the fact that a structural element can have several associated types, i.e. for the different types of record, these types and the record type itself, for the different types of container, these types and the container type itself.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint27
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some structural element has more than one structural element type
and that some structural element type is of more than one structural element.

In each population of structural element has structural element type, each structural element, structural element type combination occurs at most once.
SimpleMandatoryConstraint12
Type:
SimpleMandatoryConstraint
Verbalization:

Each structural element has some structural element type.