数量词提升

quantifier raising