TSPC 17_a_lob

17_a_lob_n01
Seated beside Alastair, lulled by the uncanny silence of supersonic flight, Geoffrey could imagine himself in one of the upper galleries.

arc(r_0017_0001__Seated, r_0017_0003__Alastair, r_0017_0002__beside_nim11).
arc(r_0017_0001__Seated, r_0017_0014__Geoffrey, arg1).
arc(r_0017_0001__Seated, z_000_17_a_lob_n01_4, arg0).
arc(r_0017_0005__lulled, r_0017_0007__the_r_0017_0009__silence, arg0).
arc(r_0017_0005__lulled, r_0017_0014__Geoffrey, arg1).
arc(r_0017_0007__the_r_0017_0009__silence, r_0017_0008__uncanny, attrib26).
arc(r_0017_0007__the_r_0017_0009__silence, r_0017_0012__flight, r_0017_0010__of).
arc(r_0017_0012__flight, r_0017_0011__supersonic, attrib35).
arc(r_0017_0015__could, r_0017_0016__imagine, scope).
arc(r_0017_0016__imagine, r_0017_0014__Geoffrey, arg0).
arc(r_0017_0016__imagine, r_0017_0014__Geoffrey, arg1).
arc(r_0017_0016__imagine, r_0017_0019__one, prd).
arc(r_0017_0019__one, r_0017_0021__the_r_0017_0023__galleries, r_0017_0020__of).
arc(r_0017_0021__the_r_0017_0023__galleries, r_0017_0022__upper, attrib65).
arc(z_000_17_a_lob_n01_16, r_0017_0005__lulled, restriction).
arc(z_000_17_a_lob_n01_16, r_0017_0015__could, scope).
arc(z_000_17_a_lob_n01_2, r_0017_0001__Seated, restriction).
arc(z_000_17_a_lob_n01_2, z_000_17_a_lob_n01_16, scope).

fof(formula,axiom,
    ? [R_0017_0003__ALASTAIR,R_0017_0014__GEOFFREY,Z_000_17_A_LOB_N01_4,R_0017_0001__SEATED,R_0017_0008__UNCANNY,R_0017_0011__SUPERSONIC,R_0017_0012__FLIGHT,R_0017_0007__THE_R_0017_0009__SILENCE,R_0017_0005__LULLED,R_0017_0022__UPPER,R_0017_0021__THE_R_0017_0023__GALLERIES,R_0017_0019__ONE,R_0017_0015__COULD_R_0017_0016__IMAGINE,Z_000_17_A_LOB_N01_16,Z_000_17_A_LOB_N01_2] :
      ( r_0017_0003__Alastair(R_0017_0003__ALASTAIR)
      & r_0017_0008__uncanny(R_0017_0008__UNCANNY)
      & r_0017_0011__supersonic(R_0017_0011__SUPERSONIC)
      & r_0017_0014__Geoffrey(R_0017_0014__GEOFFREY)
      & r_0017_0022__upper(R_0017_0022__UPPER)
      & z_000_17_a_lob_n01_4(Z_000_17_A_LOB_N01_4)
      & z_000_17_a_lob_n01_2(Z_000_17_A_LOB_N01_2)
      & has_conj2(Z_000_17_A_LOB_N01_2,Z_000_17_A_LOB_N01_16)
      & z_000_17_a_lob_n01_16(Z_000_17_A_LOB_N01_16)
      & has_conj2(Z_000_17_A_LOB_N01_16,R_0017_0015__COULD_R_0017_0016__IMAGINE)
      & r_0017_0015__could_r_0017_0016__imagine(R_0017_0015__COULD_R_0017_0016__IMAGINE)
      & has_prd(R_0017_0015__COULD_R_0017_0016__IMAGINE,R_0017_0019__ONE)
      & r_0017_0019__one(R_0017_0019__ONE)
      & has_r_0017_0020__of(R_0017_0019__ONE,R_0017_0021__THE_R_0017_0023__GALLERIES)
      & r_0017_0021__the_r_0017_0023__galleries(R_0017_0021__THE_R_0017_0023__GALLERIES)
      & has_attrib65(R_0017_0021__THE_R_0017_0023__GALLERIES,R_0017_0022__UPPER)
      & has_arg1(R_0017_0015__COULD_R_0017_0016__IMAGINE,R_0017_0014__GEOFFREY)
      & has_arg0(R_0017_0015__COULD_R_0017_0016__IMAGINE,R_0017_0014__GEOFFREY)
      & has_conj1(Z_000_17_A_LOB_N01_16,R_0017_0005__LULLED)
      & r_0017_0005__lulled(R_0017_0005__LULLED)
      & has_arg1(R_0017_0005__LULLED,R_0017_0014__GEOFFREY)
      & has_arg0(R_0017_0005__LULLED,R_0017_0007__THE_R_0017_0009__SILENCE)
      & r_0017_0007__the_r_0017_0009__silence(R_0017_0007__THE_R_0017_0009__SILENCE)
      & has_r_0017_0010__of(R_0017_0007__THE_R_0017_0009__SILENCE,R_0017_0012__FLIGHT)
      & r_0017_0012__flight(R_0017_0012__FLIGHT)
      & has_attrib35(R_0017_0012__FLIGHT,R_0017_0011__SUPERSONIC)
      & has_attrib26(R_0017_0007__THE_R_0017_0009__SILENCE,R_0017_0008__UNCANNY)
      & has_conj1(Z_000_17_A_LOB_N01_2,R_0017_0001__SEATED)
      & r_0017_0001__Seated(R_0017_0001__SEATED)
      & has_arg0(R_0017_0001__SEATED,Z_000_17_A_LOB_N01_4)
      & has_arg1(R_0017_0001__SEATED,R_0017_0014__GEOFFREY)
      & has_r_0017_0002__beside_nim11(R_0017_0001__SEATED,R_0017_0003__ALASTAIR) ) ).

( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
                            (VVN;_Tn_ Seated;{seat})
                            (PP-NIM (P-ROLE beside;{beside})
                                    (NP;{ALASTAIR} (NPR Alastair;{Alastair})))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VVN;_Tn_ lulled;{lull})
                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                    (NP (D the;{the})
                                        (ADJP (ADJ uncanny;{uncanny}))
                                        (N silence;{silence})
                                        (PP (P-ROLE of;{of})
                                            (NP (ADJP (ADJ supersonic;{supersonic}))
                                                (N flight;{flight})))))))
          (PUNC ,)
          (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (VB;_Cn.pr_ imagine;{imagine[in]})
                      (NP-OB1;{GEOFFREY} (PNX himself;{himself}))
                      (PP-PRD (P-ROLE in;{in})
                              (NP (NUM one;{one})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (ADJP (ADJ upper;{upper}))
                                          (NS galleries;{gallery}))))))
          (PUNC .))
  (ID 17_a_lob_n01))