"GlossaryContainsGlossaryEntry"
Fact Type ↑
Summary

Glossary contains glossary entry.
PermanentFact = False
HiddenFact = False
Role Players
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.