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.

( (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))

arc(r_0017_0001__Seated,r_0017_0003__Alastair,r_0017_0002__beside__nim).
arc(r_0017_0001__Seated,r_0017_0014__Geoffrey,arg1).
arc(r_0017_0001__Seated,z_0017_5003___star_,arg0).
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,r_0017_0018__in__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,attrib).
arc(z_0017_5001,r_0017_0001__Seated,restriction).
arc(z_0017_5001,r_0017_0015__could,scope).

fof(formula,axiom,
    ? [R_0017_0003__ALASTAIR,R_0017_0014__GEOFFREY,Z_0017_5003___STAR_,R_0017_0001__SEATED,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_0017_5001] :
      ( r_0017_0003__Alastair(R_0017_0003__ALASTAIR)
      & r_0017_0014__Geoffrey(R_0017_0014__GEOFFREY)
      & r_0017_0022__upper(R_0017_0022__UPPER)
      & z_0017_5003___star_(Z_0017_5003___STAR_)
      & z_0017_5001(Z_0017_5001)
      & has_conj2(Z_0017_5001,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_r_0017_0018__in__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_attrib(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_0017_5001,R_0017_0001__SEATED)
      & r_0017_0001__Seated(R_0017_0001__SEATED)
      & has_arg0(R_0017_0001__SEATED,Z_0017_5003___STAR_)
      & has_arg1(R_0017_0001__SEATED,R_0017_0014__GEOFFREY)
      & has_r_0017_0002__beside__nim(R_0017_0001__SEATED,R_0017_0003__ALASTAIR) ) ).