pred: P(2)
const: a,b
-
AxPxa
Ax(Pax>x=b)
:Pab