出现在变元量词的辖域里面的变元