The crowd is gathered to watch a sporting event.
The rocket is launching.
There is either a crown or no crowd. A rocket launching is not a sporting event.
exists e1 p1 x1.(n_crowd(x1) & Recipient(e1,p1) & Topic(e1,x1) & v_gather(e1) & exists e2 s1 x2.(Theme(e2,x2) & Actor(e2,x1) & v_watch(e2) & n_event(x2) & a_sporting(s1) & Theme(s1,x2)))
exists e1 x1.(n_rocket(x1) & Actor(e1,x1) & v_launch(e1))