((P>=0 [ F a ]) & P<0.5 [ G !(b) ])