Four black-haired girls in shorts are walking.
The four girls have eight legs total.
Just because four girls are walking doesn't mean they have eight legs total.
exists e1 s1 x1 x2.(Actor(e1,x1) & v_walk(e1) & in(x1,x2) & n_shorts(x2) & n_girl(x1) & a_black-haired(s1) & Theme(s1,x1) & card_eq_4(x1))
exists e1 x1 x2.(n_girl(x1) & card_eq_4(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & r_total(x2) & n_leg(x2) & card_eq_8(x2))