P=? [ true U (s1=3&s2=3&s3=3&s4=3) ]:
Result
1.0