The baby wearing the blue shirt is crying.
the baby is not crying
The baby can't be crying and not crying at the same time.
exists e2 e1 s1 x1 x2 x3.(n_shirt(x3) & a_blue(s1) & Theme(s1,x3) & n_baby(x1) & Actor(e2,x1) & v_cry(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & (x1 = x2))
exists x1.(n_baby(x1) & -exists e1.(Actor(e1,x1) & v_cry(e1)))