全称量词存在量词2