the operation in (16b) can apply to any constituent. formula_7-type-shifting "is a way of transforming syntactic constituents into full propositions so that it is possible to check whether they are entailed by the context". for example, the result of formula_7-type-shifting the vp in (17) is (18):