A scene featuring Thomas the Tank and friends.
a scene does not have any trains in it
If the scene has no trains in it, how can it feature Thomas the Tank and friends at the same time.
exists e1 x1 x2 x3 x4 x5 x6.(ne_per_thomas(x6) & ne_nam_tank(x4) & a_topic(x1) & Recipient(e1,x6) & Theme(e1,x3) & Actor(e1,x2) & v_feature(e1) & subset_of(x5,x3) & n_friend(x5) & subset_of(x4,x3) & (x1 = x2) & n_scene(x1))
exists x1.(-all x2.(n_train(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & in(x2,x1))) & n_thing(x1) & n_scene(x1))