2変数以上の述語