other,0-3-T78-1031,bq | between the same two <term> nodes </term> . <term> | Path-based inference rules | </term> may be written using a <term> binary | #12093 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. Path-based inference rules may be written using a binary relational calculus notation. |