f1 >= 1.50000
f2 in [...]
(30)
(10)
(20)