"ContextIsChildOfContext"
Fact Type
↑
Summary
Context
is child of
context
.
PermanentFact =
False
HiddenFact =
False
Role Players
Context
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
context
2
is parent of
some
context
1
then
it is not true that
context
2
is indirectly related to
context
1
by repeatedly applying this fact type
.