A jet plane is on display outside of the cathedral.
The jet plane is an old relic of the cold war.
A jet plane isn't necessarily an old relic of the cold war.
exists p1 x1 x2 x5.(n_cathedral(x5) & exists x3 x4.(on(x1,x3) & of(x4,x5) & outside(x3,x4) & n_thing(x4) & n_display(x3)) & n_plane(x1) & of(x1,x2) & n_jet(x2))
exists p1 s2 x1 x2 x4.(n_war(x4) & a_cold(s2) & Theme(s2,x4) & n_plane(x1) & of(x1,x2) & n_jet(x2) & exists s1 x3.((x1 = x3) & of(x3,x4) & n_relic(x3) & a_old(s1) & Theme(s1,x3)))