 W and \(Q_0^n\) come from logic and set theory. \(Res^k(\textit{most})\) is the resumption of most to k-tuples. Resumption can be applied to any quantifier (in the syntax, this means replacing each individual variable by a corresponding k-tuple of variables); it has logical uses but also, like RECIP, uses in the interpretation of certain sentences in natural languages; see  section 16  below.