"TechnicalMemorandumIsASubtypeOfDocument"
Fact Type
↑
Summary
Each
technical memorandum
is an instance of
document
.
Role Players
TechnicalMemorandum
Document
Constraints
InternalUniquenessConstraint99
Type:
InternalUniquenessConstraint
Verbalization:
Each
technical memorandum
is
at most one
document
.
InternalUniquenessConstraint100
Type:
InternalUniquenessConstraint
Verbalization:
Each
document
is
at most one
technical memorandum
.
SimpleMandatoryConstraint53
Type:
SimpleMandatoryConstraint
Verbalization:
Each
technical memorandum
is
some
document
.
ExclusionConstraint7
Type:
ExclusionConstraint
Verbalization:
For each
document
,
at most one of the following holds:
that
document
is
some
standard
;
that
document
is
some
handbook
;
that
document
is
some
technical memorandum
.