A football team is doing push ups while others are running past them.
The football team is active.
Doing push ups and running is considered active.
exists e1 p1 x1 x2 x3 x4.(exists e2 x5.(past(e2,x1) & Actor(e2,x5) & v_run(e2) & -(x5 = x1) & n_person(x5)) & n_thing(x1) & n_person(x1) & while(e1,p1) & Time(e1,x4) & n_up(x4) & Theme(e1,x3) & Actor(e1,x1) & v_do(e1) & n_push(x3) & n_team(x1) & of(x1,x2) & n_football(x2))
exists s1 x1 x2.(n_team(x1) & of(x1,x2) & n_football(x2) & Theme(s1,x1) & a_active(s1))