Teenagers play music with horns and saxophones.
The teenagers are sitting around, looking on their phones or talking, waiting for the bus.
Teenagers that play music with horns and saxophones cannot be sitting around, looking on their phones or talking.
exists e1 x1 x2 x3 x4 x5.(with(e1,x3) & subset_of(x5,x3) & n_saxophone(x5) & subset_of(x4,x3) & n_horn(x4) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_music(x2) & n_teenager(x1))
exists e1 e2 p1 x1 x2 x3 x4 x5.(n_bus(x5) & n_bus(x4) & n_phone(x3) & of(x3,x2) & n_thing(x2) & n_bus(x2) & n_teenager(x1) & (exists e4 e3.(for(e3,e4) & for(e4,x4) & Actor(e4,x1) & v_wait(e4) & on(e3,x3) & Actor(e3,x1) & v_look(e3)) | exists e6 e5.(for(e5,e6) & for(e6,x5) & Actor(e6,x1) & v_wait(e6) & Actor(e5,x1) & v_talk(e5))) & for(e1,e2) & for(e2,x2) & Actor(e2,x1) & v_wait(e2) & exists s1.(Theme(s1,x1) & a_around(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_sit(e1))