"ContextHasContextName"
Fact Type ↑
Summary

Context has context name.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint65
Type:
InternalUniquenessConstraint
Verbalization:

Each context has at most one context name.
SimpleMandatoryConstraint33
Type:
SimpleMandatoryConstraint
Verbalization:

Each context has some context name.