// muti-objective queries
multi ( Pmax=? [ F time_error=1 ] , P>=1-0.19				   [ G (error=0) ]  ) // K=2
multi ( Pmax=? [ F time_error=1 ] , P>=1-0.006859000000000001  [ G (error=0) ]  ) // K=4