Two girls in green shirts, and two in white shirts, are painting pictures.
The girls have paint.
Two girls are painting pictures so The girls have paint.
exists e1 s1 s2 x1 x2 x3 x4 x5 x6.(Theme(e1,x6) & Actor(e1,x1) & v_paint(e1) & n_picture(x6) & in(x1,x2) & subset_of(x4,x2) & in(x4,x5) & n_shirt(x5) & a_white(s2) & Theme(s2,x5) & n_thing(x4) & card_eq_2(x4) & subset_of(x3,x2) & n_shirt(x3) & a_green(s1) & Theme(s1,x3) & n_girl(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_girl(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_paint(x2))