"ContextHasContextName"
Fact Type
↑
Summary
Context
has
context name
.
PermanentFact =
False
HiddenFact =
False
Role Players
Context
ContextName
Constraints
InternalUniquenessConstraint65
Type:
InternalUniquenessConstraint
Verbalization:
Each
context
has
at most one
context name
.
SimpleMandatoryConstraint33
Type:
SimpleMandatoryConstraint
Verbalization:
Each
context
has
some
context name
.