There is a stadium full of red seats, one cheerleader holds up a sign that says ROCKS.
The stadium is empty because the world has ended.
It would be impossible for the stadium to be empty if there is one cheerleader in the stadium.
exists e1 p1 p2 s1 x1 x2 x3 x7.(ne_nam_rocks(x7) & a_up(s1) & Manner(e1,s1) & Theme(e1,x3) & Actor(e1,x2) & v_hold(e1) & Topic(x3,p2) & exists e2.(Actor(e2,x7) & v_say(e2)) & n_sign(x3) & n_cheerleader(x2) & card_eq_1(x2) & exists s2 s3 x4 x5 x6.((x1 = x4) & of(s2,x6) & n_seat(x6) & a_red(s3) & Theme(s3,x6) & Theme(s2,x5) & a_full(s2) & (x4 = x5) & n_stadium(x4)))
exists p1 s1 x1 x2.(n_world(x2) & n_stadium(x1) & exists e1.(Actor(e1,x2) & v_end(e1)) & because(s1,p1) & Theme(s1,x1) & a_empty(s1))