tech,0-4-T78-1031,bq | relational calculus notation </term> . <term> | Node-based inference | </term> allows a <term> structure </term> of | #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. |