| other,7-2-T78-1031,bq | </term> allows an <term> arc </term> or a <term> | path of arcs | </term> between two given <term> nodes </term> | #12070 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. |
