{述語函数}

{}