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.

arc(r_0037_0002__the_r_0037_0004__minutes, r_0037_0003__fifty__hyphen__odd, attrib8).
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_nim5).
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_0025__that_r_0037_0027__were, emb71).
arc(r_0037_0016__accustomed, r_0037_0015__so, qual41).
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, attrib54).
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, attrib65).
arc(r_0037_0025__that_r_0037_0027__were, r_0037_0026__they, arg0).
arc(r_0037_0025__that_r_0037_0027__were, r_0037_0029__longer, nim79).
arc(r_0037_0025__that_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_000_37_a_lob_n01_80, restriction).
arc(r_0037_0029__longer, z_000_37_a_lob_n01_80, nim80).

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_000_37_A_LOB_N01_80,R_0037_0029__LONGER,R_0037_0030__AUDIBLE,R_0037_0025__THAT_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_000_37_a_lob_n01_80(Z_000_37_A_LOB_N01_80)
      & ( z_000_37_a_lob_n01_80(Z_000_37_A_LOB_N01_80)
       => r_0037_0025__that_r_0037_0027__were(R_0037_0025__THAT_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_attrib65(R_0037_0022__THE_R_0037_0024__ENGINES,R_0037_0023__GREAT)
          & has_attrib54(R_0037_0018__THE_R_0037_0020__NOTE,R_0037_0019__UNBROKEN) )
      & has_qual41(R_0037_0016__ACCUSTOMED,R_0037_0015__SO)
      & r_0037_0015__so(R_0037_0015__SO)
      & has_emb71(R_0037_0015__SO,R_0037_0025__THAT_R_0037_0027__WERE)
      & r_0037_0025__that_r_0037_0027__were(R_0037_0025__THAT_R_0037_0027__WERE)
      & has_prd(R_0037_0025__THAT_R_0037_0027__WERE,R_0037_0030__AUDIBLE)
      & has_nim79(R_0037_0025__THAT_R_0037_0027__WERE,R_0037_0029__LONGER)
      & r_0037_0029__longer(R_0037_0029__LONGER)
      & has_nim80(R_0037_0029__LONGER,Z_000_37_A_LOB_N01_80)
      & has_arg0(R_0037_0025__THAT_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_nim5(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_attrib8(R_0037_0002__THE_R_0037_0004__MINUTES,R_0037_0003__FIFTY__HYPHEN__ODD) ) ).

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