As in Beta, qBeta uses inner to combine the statements of a super pattern with the statements of a subpattern:
inner(P)where P is the name of an an enclosing pattern. The semantics of inner is the same as in Beta.
Grammar
<Inner-Statement> ::= 'inner '(' <Pattern-name> ')'