other,20-4-T78-1031,bq | existence of an instance of a pattern of <term> | node structures | </term> . <term> Node-based inference rules | #12126 Node-based inference allows a structure of nodes to be inferred from the existence of an instance of a pattern of node structures . |