Two girls are playing soccer and one is wearing a white shirt with green shorts showing the number 4, while the other girl is wearing a red and white shirt.
Two girls on opposing teams are playing soccer.
when both the girls on opposing teams are playing soccer they cannot have different dress colours
exists e1 e3 e2 p1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(n_number(x7) & n_date(x7) & a_date_day_04(x7) & a_date_day_04(x7) & Theme(e3,x4) & Actor(e3,x3) & v_wear(e3) & with(x4,x5) & exists e4 s3 s4 x8.(Theme(e4,x8) & Actor(e4,x1) & v_wear(e4) & n_shirt(x8) & a_white(s4) & Theme(s4,x8) & a_red(s3) & Theme(s3,x8)) & -(x1 = x1) & n_girl(x1) & n_girl(x1) & while(e2,p1) & Theme(e2,x7) & Actor(e2,x6) & v_show(e2) & (x5 = x6) & n_shorts(x5) & a_green(s2) & Theme(s2,x5) & n_shirt(x4) & a_white(s1) & Theme(s1,x4) & n_thing(x3) & card_eq_1(x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_soccer(x2) & card_eq_2(x1))
exists e1 s1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & n_soccer(x3) & on(x1,x2) & n_team(x2) & a_opposing(s1) & Theme(s1,x2) & n_girl(x1) & card_eq_2(x1))