// multi-objective query without async rule
multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.22908869186890432 [ G (c1=0) ] , P>=1-0.22908869186890432 [ G (c2=0) ] ) // K=2
multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.04164301267240658 [ G (c1=0) ] , P>=1-0.04164301267240658 [ G (c2=0) ] ) // K=12
multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.02495992402874184 [ G (c1=0) ] , P>=1-0.02495992402874184 [ G (c2=0) ] ) // K=20
// the above fails because worst case the errors are dependent
// but actually the errors are independent so could write objective as
multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.22908869186890432*0.22908869186890432 [ G (c1=0 | c2=0) ] ) // K=2
multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.04164301267240658*0.04164301267240658 [ G (c1=0 | c2=0) ] ) // K=12
multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.02495992402874184*0.02495992402874184 [ G (c1=0 | c2=0) ] ) // K=20