Two girls with red shirts tied at their waists are laughing while looking down.
Girls from the same team are laughing while looking at their shoes
If both girls wear shirts of the same color it doesn't mean they are from the same team. Also if they are looking down it does not necessarily mean they are looking at their shoes.
exists e3 e1 e2 s1 s2 x1 x2 x3 x4.(while(e2,e3) & a_down(s2) & Manner(e3,s2) & Actor(e3,x1) & v_look(e3) & Actor(e2,x1) & v_laugh(e2) & with(x1,x2) & at(e1,x4) & n_waist(x4) & of(x4,x1) & n_thing(x1) & Theme(e1,x3) & v_tie(e1) & (x2 = x3) & n_shirt(x2) & a_red(s1) & Theme(s1,x2) & n_girl(x1) & card_eq_2(x1))
exists e2 e1 s1 x1 x2 x3.(n_shoe(x3) & of(x3,x2) & n_thing(x2) & n_team(x2) & a_same(s1) & Theme(s1,x2) & while(e1,e2) & at(e2,x3) & Actor(e2,x1) & v_look(e2) & Actor(e1,x1) & v_laugh(e1) & from(x1,x2) & n_girl(x1))