Six boys play football, and one has the football and is running.
Boys are playing football.
It is obvious that the boys are playing football.
exists e1 e3 e2 x1 x2 x3 x4.(Actor(e3,x4) & v_run(e3) & n_thing(x4) & card_eq_1(x4) & Theme(e2,x2) & Actor(e2,x3) & v_have(e2) & n_football(x2) & n_football(x2) & n_thing(x3) & card_eq_1(x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_boy(x1) & card_eq_6(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_football(x2) & n_boy(x1))