请将下述命题化为标准的直言命题形式,并用符号表示其形式.