Four girls in pink and white all in the same pose.
Four girls in red and green are doing different poses.
If the girls are in pink and white, they are not in red and green, and if they're doing the same pose, they're not doing different poses.
exists e1 s1 s2 x1 x2 x3.(n_same(x3) & Actor(e1,x1) & v_pose(e1) & in(x1,x2) & in(x2,x3) & n_all(x2) & a_white(s2) & Theme(s2,x2) & a_pink(s1) & Theme(s1,x2) & n_girl(x1) & card_eq_4(x1))
exists e1 s1 x1 x2 x3 x4.(n_pose(x4) & Theme(e1,x3) & Actor(e1,x1) & v_do(e1) & -(x3 = x4) & n_pose(x3) & in(x1,x2) & n_green(x2) & a_red(s1) & Theme(s1,x2) & n_girl(x1) & card_eq_4(x1))