"GlossaryContainsGlossaryEntry"
Fact Type
↑
Summary
Glossary
contains
glossary entry
.
PermanentFact =
False
HiddenFact =
False
Role Players
Glossary
GlossaryEntry
Constraints
InternalUniquenessConstraint88
Type:
InternalUniquenessConstraint
Verbalization:
Each
glossary entry
belongs to
at most one
glossary
.
ExternalUniquenessConstraint1
Type:
ExternalUniquenessConstraint
Verbalization:
For each
glossary
,
context
,
and
term
,
at most one
glossary entry
belongs to
that
glossary
and
is scoped by
that
context
and
uses
that
term
.
SimpleMandatoryConstraint46
Type:
SimpleMandatoryConstraint
Verbalization:
Each
glossary entry
belongs to
some
glossary
.
SimpleMandatoryConstraint42
Type:
SimpleMandatoryConstraint
Verbalization:
It is obligatory that
each
glossary
contains
some
glossary entry
.