Context                Previous, Next                Top


34_a_lob_n01
They were flying at more than 975 miles an hour, or nearly Mach 1.3 to use the modern jargon.

%3 r_0034_0002__were were r_0034_0003__flying flying r_0034_0002__were->r_0034_0003__flying [scope] r_0034_0001__They They r_0034_0003__flying->r_0034_0001__They [arg0] r_0034_0012__or or r_0034_0003__flying->r_0034_0012__or at [nim] r_0034_0009__an_r_0034_0010__hour an hour r_0034_0012__or->r_0034_0009__an_r_0034_0010__hour [conj1] r_0034_0014__Mach_r_0034_0015__1_dot_3 Mach 1.3 r_0034_0012__or->r_0034_0014__Mach_r_0034_0015__1_dot_3 [conj2] r_0034_0005__more more r_0034_0007__975_r_0034_0008__miles 975 miles r_0034_0005__more->r_0034_0007__975_r_0034_0008__miles than r_0034_0009__an_r_0034_0010__hour->r_0034_0005__more [attrib] r_0034_0013__nearly nearly r_0034_0014__Mach_r_0034_0015__1_dot_3->r_0034_0013__nearly [qual] 
arc(r_0034_0002__were, r_0034_0003__flying, scope).
arc(r_0034_0003__flying, r_0034_0001__They, arg0).
arc(r_0034_0003__flying, r_0034_0012__or, r_0034_0004__at_nim13).
arc(r_0034_0005__more, r_0034_0007__975_r_0034_0008__miles, r_0034_0006__than).
arc(r_0034_0009__an_r_0034_0010__hour, r_0034_0005__more, attrib16).
arc(r_0034_0012__or, r_0034_0009__an_r_0034_0010__hour, conj1).
arc(r_0034_0012__or, r_0034_0014__Mach_r_0034_0015__1_dot_3, conj2).
arc(r_0034_0014__Mach_r_0034_0015__1_dot_3, r_0034_0013__nearly, qual37).


%3 r_0034_0014__Mach_r_0034_0015__1_dot_3 Mach 1.3 r_0034_0013__nearly nearly r_0034_0014__Mach_r_0034_0015__1_dot_3->r_0034_0013__nearly [qual] r_0034_0012__or or r_0034_0012__or->r_0034_0014__Mach_r_0034_0015__1_dot_3 [conj2] r_0034_0009__an_r_0034_0010__hour an hour r_0034_0012__or->r_0034_0009__an_r_0034_0010__hour [conj1] r_0034_0005__more more r_0034_0009__an_r_0034_0010__hour->r_0034_0005__more [attrib] r_0034_0007__975_r_0034_0008__miles 975 miles r_0034_0005__more->r_0034_0007__975_r_0034_0008__miles than r_0034_0002__were_r_0034_0003__flying were flying r_0034_0002__were_r_0034_0003__flying->r_0034_0012__or at [nim] r_0034_0001__They They r_0034_0002__were_r_0034_0003__flying->r_0034_0001__They [arg0] 
fof(formula,axiom,
    ? [R_0034_0001__THEY,R_0034_0007__975_R_0034_0008__MILES,R_0034_0005__MORE,R_0034_0009__AN_R_0034_0010__HOUR,R_0034_0013__NEARLY,R_0034_0014__MACH_R_0034_0015__1_DOT_3,R_0034_0012__OR,R_0034_0002__WERE_R_0034_0003__FLYING] :
      ( r_0034_0001__They(R_0034_0001__THEY)
      & r_0034_0007__975_r_0034_0008__miles(R_0034_0007__975_R_0034_0008__MILES)
      & r_0034_0013__nearly(R_0034_0013__NEARLY)
      & r_0034_0002__were_r_0034_0003__flying(R_0034_0002__WERE_R_0034_0003__FLYING)
      & has_r_0034_0004__at_nim13(R_0034_0002__WERE_R_0034_0003__FLYING,R_0034_0012__OR)
      & r_0034_0012__or(R_0034_0012__OR)
      & has_conj2(R_0034_0012__OR,R_0034_0014__MACH_R_0034_0015__1_DOT_3)
      & r_0034_0014__Mach_r_0034_0015__1_dot_3(R_0034_0014__MACH_R_0034_0015__1_DOT_3)
      & has_qual37(R_0034_0014__MACH_R_0034_0015__1_DOT_3,R_0034_0013__NEARLY)
      & has_conj1(R_0034_0012__OR,R_0034_0009__AN_R_0034_0010__HOUR)
      & r_0034_0009__an_r_0034_0010__hour(R_0034_0009__AN_R_0034_0010__HOUR)
      & has_attrib16(R_0034_0009__AN_R_0034_0010__HOUR,R_0034_0005__MORE)
      & r_0034_0005__more(R_0034_0005__MORE)
      & has_r_0034_0006__than(R_0034_0005__MORE,R_0034_0007__975_R_0034_0008__MILES)
      & has_arg0(R_0034_0002__WERE_R_0034_0003__FLYING,R_0034_0001__THEY) ) ).


n34_a_lob_n01 n34_a_lob_n01__1_1_1_1 They n34_a_lob_n01__1_2_1 were n34_a_lob_n01__1_3_1_1 flying n34_a_lob_n01__1_3_2_1_1 at n34_a_lob_n01__1_3_2_2_1_1_1_1_1 more n34_a_lob_n01__1_3_2_2_1_1_1_2_1_1 than n34_a_lob_n01__1_3_2_2_1_1_1_2_2_1_1 975 n34_a_lob_n01__1_3_2_2_1_1_1_2_2_2_1 miles n34_a_lob_n01__1_3_2_2_1_1_2_1 an n34_a_lob_n01__1_3_2_2_1_1_3_1 hour n34_a_lob_n01__1_3_2_2_1_2_1 , n34_a_lob_n01__1_3_2_2_1_3_1_1 or n34_a_lob_n01__1_3_2_2_1_3_2_1_1_1 nearly n34_a_lob_n01__1_3_2_2_1_3_2_2_1 Mach n34_a_lob_n01__1_3_2_2_1_3_2_3_1 1.3 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_1_1 to n34_a_lob_n01__1_3_2_2_1_3_2_4_1_2_1 use n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_1_1 the n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2_1_1 modern n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_3_1 jargon n34_a_lob_n01__1_4_1 . n34_a_lob_n01__1 IP-MAT n34_a_lob_n01__1_1 NP-SBJ n34_a_lob_n01__1->n34_a_lob_n01__1_1 n34_a_lob_n01__1_2 BED;_cat_Vg_ n34_a_lob_n01__1->n34_a_lob_n01__1_2 n34_a_lob_n01__1_3 IP-PPL-CAT n34_a_lob_n01__1->n34_a_lob_n01__1_3 n34_a_lob_n01__1_4 PUNC n34_a_lob_n01__1->n34_a_lob_n01__1_4 n34_a_lob_n01__1_1_1 PRO n34_a_lob_n01__1_1->n34_a_lob_n01__1_1_1 n34_a_lob_n01__1_1_1->n34_a_lob_n01__1_1_1_1 n34_a_lob_n01__1_2->n34_a_lob_n01__1_2_1 n34_a_lob_n01__1_3_1 VAG;__ n34_a_lob_n01__1_3->n34_a_lob_n01__1_3_1 n34_a_lob_n01__1_3_2 PP-NIM n34_a_lob_n01__1_3->n34_a_lob_n01__1_3_2 n34_a_lob_n01__1_3_1->n34_a_lob_n01__1_3_1_1 n34_a_lob_n01__1_3_2_1 P-ROLE n34_a_lob_n01__1_3_2->n34_a_lob_n01__1_3_2_1 n34_a_lob_n01__1_3_2_2 NP n34_a_lob_n01__1_3_2->n34_a_lob_n01__1_3_2_2 n34_a_lob_n01__1_3_2_1->n34_a_lob_n01__1_3_2_1_1 n34_a_lob_n01__1_3_2_2_1 NLYR n34_a_lob_n01__1_3_2_2->n34_a_lob_n01__1_3_2_2_1 n34_a_lob_n01__1_3_2_2_1_1 NLYR n34_a_lob_n01__1_3_2_2_1->n34_a_lob_n01__1_3_2_2_1_1 n34_a_lob_n01__1_3_2_2_1_2 PUNC n34_a_lob_n01__1_3_2_2_1->n34_a_lob_n01__1_3_2_2_1_2 n34_a_lob_n01__1_3_2_2_1_3 CONJP n34_a_lob_n01__1_3_2_2_1->n34_a_lob_n01__1_3_2_2_1_3 n34_a_lob_n01__1_3_2_2_1_1_1 ADJP n34_a_lob_n01__1_3_2_2_1_1->n34_a_lob_n01__1_3_2_2_1_1_1 n34_a_lob_n01__1_3_2_2_1_1_2 D n34_a_lob_n01__1_3_2_2_1_1->n34_a_lob_n01__1_3_2_2_1_1_2 n34_a_lob_n01__1_3_2_2_1_1_3 N n34_a_lob_n01__1_3_2_2_1_1->n34_a_lob_n01__1_3_2_2_1_1_3 n34_a_lob_n01__1_3_2_2_1_1_1_1 ADJR n34_a_lob_n01__1_3_2_2_1_1_1->n34_a_lob_n01__1_3_2_2_1_1_1_1 n34_a_lob_n01__1_3_2_2_1_1_1_2 PP n34_a_lob_n01__1_3_2_2_1_1_1->n34_a_lob_n01__1_3_2_2_1_1_1_2 n34_a_lob_n01__1_3_2_2_1_1_1_1->n34_a_lob_n01__1_3_2_2_1_1_1_1_1 n34_a_lob_n01__1_3_2_2_1_1_1_2_1 P-ROLE n34_a_lob_n01__1_3_2_2_1_1_1_2->n34_a_lob_n01__1_3_2_2_1_1_1_2_1 n34_a_lob_n01__1_3_2_2_1_1_1_2_2 NP n34_a_lob_n01__1_3_2_2_1_1_1_2->n34_a_lob_n01__1_3_2_2_1_1_1_2_2 n34_a_lob_n01__1_3_2_2_1_1_1_2_1->n34_a_lob_n01__1_3_2_2_1_1_1_2_1_1 n34_a_lob_n01__1_3_2_2_1_1_1_2_2_1 NUM n34_a_lob_n01__1_3_2_2_1_1_1_2_2->n34_a_lob_n01__1_3_2_2_1_1_1_2_2_1 n34_a_lob_n01__1_3_2_2_1_1_1_2_2_2 NS n34_a_lob_n01__1_3_2_2_1_1_1_2_2->n34_a_lob_n01__1_3_2_2_1_1_1_2_2_2 n34_a_lob_n01__1_3_2_2_1_1_1_2_2_1->n34_a_lob_n01__1_3_2_2_1_1_1_2_2_1_1 n34_a_lob_n01__1_3_2_2_1_1_1_2_2_2->n34_a_lob_n01__1_3_2_2_1_1_1_2_2_2_1 n34_a_lob_n01__1_3_2_2_1_1_2->n34_a_lob_n01__1_3_2_2_1_1_2_1 n34_a_lob_n01__1_3_2_2_1_1_3->n34_a_lob_n01__1_3_2_2_1_1_3_1 n34_a_lob_n01__1_3_2_2_1_2->n34_a_lob_n01__1_3_2_2_1_2_1 n34_a_lob_n01__1_3_2_2_1_3_1 CONJ n34_a_lob_n01__1_3_2_2_1_3->n34_a_lob_n01__1_3_2_2_1_3_1 n34_a_lob_n01__1_3_2_2_1_3_2 NLYR n34_a_lob_n01__1_3_2_2_1_3->n34_a_lob_n01__1_3_2_2_1_3_2 n34_a_lob_n01__1_3_2_2_1_3_1->n34_a_lob_n01__1_3_2_2_1_3_1_1 n34_a_lob_n01__1_3_2_2_1_3_2_1 ADVP n34_a_lob_n01__1_3_2_2_1_3_2->n34_a_lob_n01__1_3_2_2_1_3_2_1 n34_a_lob_n01__1_3_2_2_1_3_2_2 NPR n34_a_lob_n01__1_3_2_2_1_3_2->n34_a_lob_n01__1_3_2_2_1_3_2_2 n34_a_lob_n01__1_3_2_2_1_3_2_3 NUM n34_a_lob_n01__1_3_2_2_1_3_2->n34_a_lob_n01__1_3_2_2_1_3_2_3 n34_a_lob_n01__1_3_2_2_1_3_2_4 PRN n34_a_lob_n01__1_3_2_2_1_3_2->n34_a_lob_n01__1_3_2_2_1_3_2_4 n34_a_lob_n01__1_3_2_2_1_3_2_1_1 ADV n34_a_lob_n01__1_3_2_2_1_3_2_1->n34_a_lob_n01__1_3_2_2_1_3_2_1_1 n34_a_lob_n01__1_3_2_2_1_3_2_1_1->n34_a_lob_n01__1_3_2_2_1_3_2_1_1_1 n34_a_lob_n01__1_3_2_2_1_3_2_2->n34_a_lob_n01__1_3_2_2_1_3_2_2_1 n34_a_lob_n01__1_3_2_2_1_3_2_3->n34_a_lob_n01__1_3_2_2_1_3_2_3_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1 IP-INF n34_a_lob_n01__1_3_2_2_1_3_2_4->n34_a_lob_n01__1_3_2_2_1_3_2_4_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_1 TO n34_a_lob_n01__1_3_2_2_1_3_2_4_1->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_2 VB;_Tn_ n34_a_lob_n01__1_3_2_2_1_3_2_4_1->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_2 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3 NP-OB1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_1->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_1_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_2->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_2_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_1 D n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2 ADJP n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_3 N n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_3 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_1->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_1_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2_1 ADJ n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2_1->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_2_1_1 n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_3->n34_a_lob_n01__1_3_2_2_1_3_2_4_1_3_3_1 n34_a_lob_n01__1_4->n34_a_lob_n01__1_4_1 
( (IP-MAT (NP-SBJ;{ALASTAIR_GEOFFREY} (PRO They;{they}))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (VAG;__ flying;{fly})
                      (PP-NIM (P-ROLE at;{at})
                              (NP (NLYR (NLYR (ADJP (ADJR more;{more})
                                                    (PP (P-ROLE than;{than})
                                                        (NP (NUM 975)
                                                            (NS miles;{mile}))))
                                              (D an;{an})
                                              (N hour;{hour}))
                                        (PUNC ,)
                                        (CONJP (CONJ or;{or})
                                               (NLYR (ADVP (ADV nearly;{nearly}))
                                                     (NPR Mach;{Mach})
                                                     (NUM 1<dot>3)
                                                     (PRN (IP-INF (TO to;{to})
                                                                  (VB;_Tn_ use;{use})
                                                                  (NP-OB1 (D the;{the})
                                                                          (ADJP (ADJ modern;{modern}))
                                                                          (N jargon;{jargon}))))))))))
          (PUNC .))
  (ID 34_a_lob_n01))