Cheerleaders wearing white hold silver and blue pompoms as they wait.
The cheerleaders have no pompoms.
The cheerleaders cannot have no pompoms if they hold pompoms
exists e1 p1 s1 s2 x1 x2 x3 x4 x5 x6.(a_topic(x1) & exists e2.(Actor(e2,x1) & v_wait(e2)) & n_thing(x1) & as(e1,p1) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_pompom(x5) & a_blue(s2) & Theme(s2,x5) & n_silver(x4) & of(x4,x6) & n_hold(x6) & a_white(s1) & Theme(s1,x4) & subset_of(x5,x3) & subset_of(x4,x3) & (x1 = x2) & n_cheerleader(x1))
exists x1.(n_cheerleader(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_pompom(x2)))