<<1>> P>=0.84 [ F<=3 c=2 ]

<<1>> Pmax=? [ F<=3 c=2 ]

<<1>> Pmax=? [ F c=2 ]

<<1>> Pmax=? [ F (h=2 & c=0) ]