.include common

# This tests for a node to be a child of its parent (Jeremiah suggested this test)
is_child_of_parent( N:node )
is_child_of_parent(N) :- parent(P,N), childRelation(N,P).

is_not_child_of_parent( N:node )
is_not_child_of_parent(N) :- !is_child_of_parent(N).

# is_not_child_of_parent(N), classD(N,_,_,_), parent(P1,N), childRelation(N,P2) ?
is_not_child_of_parent(N), parent(P1,N) ?



