"ContainerHasStructuralElementType"
Fact Type ↑
Summary

*Container has structural element type if and only if
that container is some document
where structural element type = document
or that container is some document1 that has that structural element type
or that container is some glossary
where structural element type = glossary.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint43
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some container has more than one structural element type
and that for some structural element type, more than one container has that structural element type.

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

It is obligatory that each container has some structural element type.