将下列命题翻译成标准直言命题形式