<<1>> P>=0.99 [ F<=5 c=2 ]