Two young girls are outside in dresses.
Two young girls are not outside
Girls can either be outside or not outside
exists s1 s2 x1 x2.(in(s2,x2) & n_dress(x2) & Theme(s2,x1) & a_outside(s2) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 x1.(-exists s2.(Theme(s2,x1) & a_outside(s2)) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))