则命题“存在运动员是大学生”被翻译为（）