A blue building has smoke pouring out while a firetruck sits in front of it.
There is no firetruck.
Either a firetruck sits in front of the building, or there is no firetruck.
exists e1 e2 p1 s1 s2 x1 x2.(for(e1,e2) & exists e3 x3 x4.(in(e3,x4) & of(x4,x1) & n_front(x4) & Actor(e3,x3) & v_sit(e3) & n_firetruck(x3)) & n_thing(x1) & while(e2,p1) & a_out(s2) & Manner(e2,s2) & Actor(e2,x1) & v_pour(e2) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_smoke(x2) & n_building(x1) & a_blue(s1) & Theme(s1,x1))
exists p1 x1.-exists x2.((x1 = x2) & n_firetruck(x2))