A jet plane is on display outside of the cathedral.
A jet plane is on display outside of the stadium.
A CATHEDRAL IS NOT A STADIUM
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 x1 x2 x5.(n_stadium(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))