if the vp in (21a) is the salient antecedent for the vp in (21b), then the vp in (21b) counts as given. formula_7-type-shifed vp in (21a) is shown in (22). the existential f-closure of the vp in (21b) is shown in (23):