TSPC 37_a_lob

37_a_lob_n01
During the fifty-odd minutes since they had left Boscombe Down, Geoffrey had become so accustomed to the unbroken note of the great engines that they were no longer audible.

( (IP-MAT (PP-NIM (P-ROLE During;{during})
                  (NP (D the;{the})
                      (ADJP (ADJ fifty_<hyphen>_odd;{fifty_odd}))
                      (NS minutes;{minute})
                      (PP (P-ROLE since;{since})
                          (IP-ADV (NP-SBJ;{ALASTAIR+GEOFFREY} (PRO they;{they}))
                                  (HVD;_cat_Ve_ had;{have})
                                  (IP-PPL-CAT (VVN;_Tn_ left;{leave})
                                              (NP-OB1 (NPR Boscombe;{Boscombe})
                                                      (NPR Down;{Down})))))))
          (PUNC ,)
          (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_La_ become;{become})
                      (ADJP-PRD (ADVP (ADV so;{so})
                                      (CP-THT *ICH*-124))
                                (ADJ accustomed;{accustomed})
                                (PP (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (ADJP (ADJ unbroken;{unbroken}))
                                        (N note;{note})
                                        (PP (P-ROLE of;{of})
                                            (NP;{ENGINES} (D the;{the})
                                                          (ADJP (ADJ great;{great}))
                                                          (NS engines;{engine})))))
                                (CP-THT-EPD-124 (IP-SUB (C that;{that})
                                                        (NP-SBJ;{ENGINES} (PRO they;{they}))
                                                        (BED;_La_ were;{be})
                                                        (ADVP-NIM (NP (Q;_nphd_ no;{no}))
                                                                  (ADVR longer;{long}))
                                                        (ADJP-PRD (ADJ audible;{audible}))))))
          (PUNC .))
  (ID 37_a_lob_n01))

arc(r_0037_0002__the_r_0037_0004__minutes,r_0037_0003__fifty__hyphen__odd,attrib).
arc(r_0037_0002__the_r_0037_0004__minutes,r_0037_0007__had,r_0037_0005__since).
arc(r_0037_0007__had,r_0037_0008__left,scope).
arc(r_0037_0008__left,r_0037_0006__they,arg0).
arc(r_0037_0008__left,r_0037_0009__Boscombe_r_0037_0010__Down,arg1).
arc(r_0037_0013__had,r_0037_0002__the_r_0037_0004__minutes,r_0037_0001__During__nim).
arc(r_0037_0013__had,r_0037_0014__become,scope).
arc(r_0037_0014__become,r_0037_0012__Geoffrey,arg0).
arc(r_0037_0014__become,r_0037_0016__accustomed,prd).
arc(r_0037_0015__so,r_0037_0027__were,emb).
arc(r_0037_0016__accustomed,r_0037_0015__so,qual).
arc(r_0037_0016__accustomed,r_0037_0018__the_r_0037_0020__note,r_0037_0017__to).
arc(r_0037_0018__the_r_0037_0020__note,r_0037_0019__unbroken,attrib).
arc(r_0037_0018__the_r_0037_0020__note,r_0037_0022__the_r_0037_0024__engines,r_0037_0021__of).
arc(r_0037_0022__the_r_0037_0024__engines,r_0037_0023__great,attrib).
arc(r_0037_0027__were,r_0037_0026__they,arg0).
arc(r_0037_0027__were,r_0037_0029__longer,nim).
arc(r_0037_0027__were,r_0037_0030__audible,prd).
arc(r_0037_0028__no__quant,r_0037_0029__longer,scope).
arc(r_0037_0028__no__quant,z_0037_5015,restriction).
arc(r_0037_0029__longer,z_0037_5015,nim).

fof(formula,axiom,
    ? [R_0037_0003__FIFTY__HYPHEN__ODD,R_0037_0006__THEY,R_0037_0009__BOSCOMBE_R_0037_0010__DOWN,R_0037_0007__HAD_R_0037_0008__LEFT,R_0037_0002__THE_R_0037_0004__MINUTES,R_0037_0012__GEOFFREY,R_0037_0026__THEY,Z_0037_5015,R_0037_0029__LONGER,R_0037_0030__AUDIBLE,R_0037_0027__WERE,R_0037_0015__SO,R_0037_0019__UNBROKEN,R_0037_0023__GREAT,R_0037_0022__THE_R_0037_0024__ENGINES,R_0037_0018__THE_R_0037_0020__NOTE,R_0037_0016__ACCUSTOMED,R_0037_0013__HAD_R_0037_0014__BECOME] :
      ( r_0037_0003__fifty__hyphen__odd(R_0037_0003__FIFTY__HYPHEN__ODD)
      & r_0037_0006__they(R_0037_0006__THEY)
      & r_0037_0009__Boscombe_r_0037_0010__Down(R_0037_0009__BOSCOMBE_R_0037_0010__DOWN)
      & r_0037_0012__Geoffrey(R_0037_0012__GEOFFREY)
      & r_0037_0019__unbroken(R_0037_0019__UNBROKEN)
      & r_0037_0023__great(R_0037_0023__GREAT)
      & r_0037_0026__they(R_0037_0026__THEY)
      & r_0037_0030__audible(R_0037_0030__AUDIBLE)
      & z_0037_5015(Z_0037_5015)
      & ( z_0037_5015(Z_0037_5015)
       => r_0037_0027__were(R_0037_0027__WERE) )
      & r_0037_0013__had_r_0037_0014__become(R_0037_0013__HAD_R_0037_0014__BECOME)
      & has_prd(R_0037_0013__HAD_R_0037_0014__BECOME,R_0037_0016__ACCUSTOMED)
      & r_0037_0016__accustomed(R_0037_0016__ACCUSTOMED)
      & has_r_0037_0017__to(R_0037_0016__ACCUSTOMED,R_0037_0018__THE_R_0037_0020__NOTE)
      & ~ ( has_r_0037_0021__of(R_0037_0018__THE_R_0037_0020__NOTE,R_0037_0022__THE_R_0037_0024__ENGINES)
          & r_0037_0022__the_r_0037_0024__engines(R_0037_0022__THE_R_0037_0024__ENGINES)
          & has_attrib(R_0037_0022__THE_R_0037_0024__ENGINES,R_0037_0023__GREAT)
          & has_attrib(R_0037_0018__THE_R_0037_0020__NOTE,R_0037_0019__UNBROKEN) )
      & has_qual(R_0037_0016__ACCUSTOMED,R_0037_0015__SO)
      & r_0037_0015__so(R_0037_0015__SO)
      & has_emb(R_0037_0015__SO,R_0037_0027__WERE)
      & r_0037_0027__were(R_0037_0027__WERE)
      & has_prd(R_0037_0027__WERE,R_0037_0030__AUDIBLE)
      & has_nim(R_0037_0027__WERE,R_0037_0029__LONGER)
      & r_0037_0029__longer(R_0037_0029__LONGER)
      & has_nim(R_0037_0029__LONGER,Z_0037_5015)
      & has_arg0(R_0037_0027__WERE,R_0037_0026__THEY)
      & has_arg0(R_0037_0013__HAD_R_0037_0014__BECOME,R_0037_0012__GEOFFREY)
      & has_r_0037_0001__During__nim(R_0037_0013__HAD_R_0037_0014__BECOME,R_0037_0002__THE_R_0037_0004__MINUTES)
      & r_0037_0002__the_r_0037_0004__minutes(R_0037_0002__THE_R_0037_0004__MINUTES)
      & has_r_0037_0005__since(R_0037_0002__THE_R_0037_0004__MINUTES,R_0037_0007__HAD_R_0037_0008__LEFT)
      & r_0037_0007__had_r_0037_0008__left(R_0037_0007__HAD_R_0037_0008__LEFT)
      & has_arg1(R_0037_0007__HAD_R_0037_0008__LEFT,R_0037_0009__BOSCOMBE_R_0037_0010__DOWN)
      & has_arg0(R_0037_0007__HAD_R_0037_0008__LEFT,R_0037_0006__THEY)
      & has_attrib(R_0037_0002__THE_R_0037_0004__MINUTES,R_0037_0003__FIFTY__HYPHEN__ODD) ) ).