"ContainerIsASubtypeOfStructuralElement"
Fact Type
↑
Summary
Each
container
is an instance of
structural element
.
Role Players
Container
StructuralElement
Constraints
InternalUniquenessConstraint4
Type:
InternalUniquenessConstraint
Verbalization:
Each
container
is
at most one
structural element
.
InternalUniquenessConstraint7
Type:
InternalUniquenessConstraint
Verbalization:
Each
structural element
is
at most one
container
.
SimpleMandatoryConstraint1
Type:
SimpleMandatoryConstraint
Verbalization:
Each
container
is
some
structural element
.
ExclusionConstraint1
Type:
InclusiveOrConstraint
Verbalization:
For each
structural element
,
exactly one of the following holds:
that
structural element
is
some
record
;
that
structural element
is
some
container
;
that
structural element
is
some
concept
;
that
structural element
is
some
acronym
.