(p1=1|p2=1|p3=1|p4=1|p5=1) => P>=1.0 [ true U (p1=2|p2=2|p3=2|p4=2|p5=2) ]