"ContextIsChildOfContext"
Fact Type ↑
Summary

Context is child of context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint80
Type:
InternalUniquenessConstraint
Verbalization:

Each context is child of at most one context.
RingConstraint2
Type:
RingConstraint
Verbalization:

No context may cycle back to itself via one or more traversals through context is child of context.
If context2 is parent of some context1
then it is not true that context2 is indirectly related to context1 by repeatedly applying this fact type.