idea

learn the function h() such that:

if A (obj)--x (relation)--> B (obj)
=> h(A, x) = h(B)
   h(A) = h(B, ~x)
 
if A --x1--> B --x2--> C
=> h(A, x1, x2) = h(B, x2) = h(C)
and if A --x2--> D -->x1--> C
=> h(A, x1, x2) != h(A, x2, x1) (order of relation matters)
 
not good, what if:
A --x--> B
A --x--> C
B --x--> D