A busy street with a taxi sitting next to a orange street-cone
The taxi is made of chocolate.
The taxi cannot be made of chocolate and sitting next to an orange street cone at the same time.
exists e1 s1 x1 x2 x3 x4 x5.(a_topic(x1) & with(x1,x2) & to(e1,x4) & n_street-cone(x4) & of(x4,x5) & n_orange(x5) & r_next(e1) & Actor(e1,x3) & v_sit(e1) & (x2 = x3) & n_taxi(x2) & n_street(x1) & a_busy(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_taxi(x1) & of(e1,x2) & n_chocolate(x2) & Theme(e1,x1) & v_make(e1))