2
For example, xx + yy is a sub-formula of 0
≤
min
(1
..xx
+
yy
)