| tech,0-4-T78-1031,bq | <term> Path-based inference rules </term> may be written using a <term> binary relational calculus notation </term> . <term> Node-based inference </term> allows a <term> structure </term> of <term> nodes </term> to be inferred from the existence of an instance of a pattern of <term> node structures </term> . | #12106 Path-based inference rules may be written using a binary relational calculus notation. Node-based inference allows a structure of nodes to be inferred from the existence of an instance of a pattern of node structures. |
