| other,23-2-T78-1031,bq | the existence of another specified <term> | path | </term> between the same two <term> nodes </term> | #12086 Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same two nodes. |
