{述語関数}

{}