存在量词化变元

[计] existentially quantified variable

cún zài liàng cí huà biàn yuán ㄘㄨㄣˊ ㄗㄞˋ ㄌㄧㄤˋ ㄘˊ ㄏㄨㄚˋ ㄅㄧㄢˋ ㄩㄢˊ