( ! [V__NODE2,V__NODE1,V__PATH,V__GRAPH] :
((s__instance(V__NODE2,s__GraphNode) &
s__instance(V__NODE1,s__GraphNode) &
s__instance(V__PATH,s__GraphElement) &
s__instance(V__GRAPH,s__Graph))
=>
(s__graphPart(V__PATH,V__GRAPH)
&
~(s__instance(V__GRAPH,s__DirectedGraph)))
=>
(s__instance(V__PATH,s__GraphPathFn(V__NODE1,V__NODE2))
=>
s__instance(V__PATH,s__GraphPathFn(V__NODE2,V__NODE1)))
&
(s__instance(V__PATH,s__GraphPathFn(V__NODE2,V__NODE1))
=>
s__instance(V__PATH,s__GraphPathFn(V__NODE1,V__NODE2)))
)
)

Merge.kif 57135719 
