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_0002__were_r_0034_0003__flying were flying r_0034_0001__They They r_0034_0002__were_r_0034_0003__flying->r_0034_0001__They [arg0] r_0034_0012__or or r_0034_0002__were_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] 
fof(formula,axiom,
    ? [R_34_2_WERE_FLYING,R_34_1_THEY,R_34_12_OR,R_34_9_AN_HOUR,R_34_5_MORE,R_34_7_975_MILES,R_34_14_MACH_1_DOT_3,R_34_13_NEARLY] :
      ( they(R_34_1_THEY)
      & 975_miles(R_34_7_975_MILES)
      & nearly(R_34_13_NEARLY)
      & were_flying(R_34_2_WERE_FLYING,R_34_1_THEY)
      & at_nim13(R_34_2_WERE_FLYING,R_34_12_OR)
      & or(R_34_12_OR)
      & conj1(R_34_12_OR,R_34_9_AN_HOUR)
      & an_hour(R_34_9_AN_HOUR)
      & attrib16(R_34_9_AN_HOUR,R_34_5_MORE)
      & more(R_34_5_MORE)
      & than(R_34_5_MORE,R_34_7_975_MILES)
      & conj2(R_34_12_OR,R_34_14_MACH_1_DOT_3)
      & mach_1_dot_3(R_34_14_MACH_1_DOT_3)
      & qual37(R_34_14_MACH_1_DOT_3,R_34_13_NEARLY) ) ).


n34_a_lob_n01 n34_a_lob_n01_4 They n34_a_lob_n01_6 were n34_a_lob_n01_9 flying n34_a_lob_n01_12 at n34_a_lob_n01_18 more n34_a_lob_n01_21 than n34_a_lob_n01_24 975 n34_a_lob_n01_26 miles n34_a_lob_n01_28 an n34_a_lob_n01_30 hour n34_a_lob_n01_32 , n34_a_lob_n01_35 or n34_a_lob_n01_39 nearly n34_a_lob_n01_41 Mach n34_a_lob_n01_43 1.3 n34_a_lob_n01_47 to n34_a_lob_n01_49 use n34_a_lob_n01_52 the n34_a_lob_n01_55 modern n34_a_lob_n01_57 jargon n34_a_lob_n01_59 . n34_a_lob_n01_1 IP-MAT n34_a_lob_n01_2 NP-SBJ n34_a_lob_n01_1->n34_a_lob_n01_2 n34_a_lob_n01_5 BED;_cat_Vg_ n34_a_lob_n01_1->n34_a_lob_n01_5 n34_a_lob_n01_7 IP-PPL-CAT n34_a_lob_n01_1->n34_a_lob_n01_7 n34_a_lob_n01_58 PUNC n34_a_lob_n01_1->n34_a_lob_n01_58 n34_a_lob_n01_3 PRO n34_a_lob_n01_2->n34_a_lob_n01_3 n34_a_lob_n01_3->n34_a_lob_n01_4 n34_a_lob_n01_5->n34_a_lob_n01_6 n34_a_lob_n01_8 VAG;__ n34_a_lob_n01_7->n34_a_lob_n01_8 n34_a_lob_n01_10 PP-NIM n34_a_lob_n01_7->n34_a_lob_n01_10 n34_a_lob_n01_8->n34_a_lob_n01_9 n34_a_lob_n01_11 P-ROLE n34_a_lob_n01_10->n34_a_lob_n01_11 n34_a_lob_n01_13 NP n34_a_lob_n01_10->n34_a_lob_n01_13 n34_a_lob_n01_11->n34_a_lob_n01_12 n34_a_lob_n01_14 NLYR n34_a_lob_n01_13->n34_a_lob_n01_14 n34_a_lob_n01_15 NLYR n34_a_lob_n01_14->n34_a_lob_n01_15 n34_a_lob_n01_31 PUNC n34_a_lob_n01_14->n34_a_lob_n01_31 n34_a_lob_n01_33 CONJP n34_a_lob_n01_14->n34_a_lob_n01_33 n34_a_lob_n01_16 ADJP n34_a_lob_n01_15->n34_a_lob_n01_16 n34_a_lob_n01_27 D n34_a_lob_n01_15->n34_a_lob_n01_27 n34_a_lob_n01_29 N n34_a_lob_n01_15->n34_a_lob_n01_29 n34_a_lob_n01_17 ADJR n34_a_lob_n01_16->n34_a_lob_n01_17 n34_a_lob_n01_19 PP n34_a_lob_n01_16->n34_a_lob_n01_19 n34_a_lob_n01_17->n34_a_lob_n01_18 n34_a_lob_n01_20 P-ROLE n34_a_lob_n01_19->n34_a_lob_n01_20 n34_a_lob_n01_22 NP n34_a_lob_n01_19->n34_a_lob_n01_22 n34_a_lob_n01_20->n34_a_lob_n01_21 n34_a_lob_n01_23 NUM n34_a_lob_n01_22->n34_a_lob_n01_23 n34_a_lob_n01_25 NS n34_a_lob_n01_22->n34_a_lob_n01_25 n34_a_lob_n01_23->n34_a_lob_n01_24 n34_a_lob_n01_25->n34_a_lob_n01_26 n34_a_lob_n01_27->n34_a_lob_n01_28 n34_a_lob_n01_29->n34_a_lob_n01_30 n34_a_lob_n01_31->n34_a_lob_n01_32 n34_a_lob_n01_34 CONJ n34_a_lob_n01_33->n34_a_lob_n01_34 n34_a_lob_n01_36 NLYR n34_a_lob_n01_33->n34_a_lob_n01_36 n34_a_lob_n01_34->n34_a_lob_n01_35 n34_a_lob_n01_37 ADVP n34_a_lob_n01_36->n34_a_lob_n01_37 n34_a_lob_n01_40 NPR n34_a_lob_n01_36->n34_a_lob_n01_40 n34_a_lob_n01_42 NUM n34_a_lob_n01_36->n34_a_lob_n01_42 n34_a_lob_n01_44 PRN n34_a_lob_n01_36->n34_a_lob_n01_44 n34_a_lob_n01_38 ADV n34_a_lob_n01_37->n34_a_lob_n01_38 n34_a_lob_n01_38->n34_a_lob_n01_39 n34_a_lob_n01_40->n34_a_lob_n01_41 n34_a_lob_n01_42->n34_a_lob_n01_43 n34_a_lob_n01_45 IP-INF n34_a_lob_n01_44->n34_a_lob_n01_45 n34_a_lob_n01_46 TO n34_a_lob_n01_45->n34_a_lob_n01_46 n34_a_lob_n01_48 VB;_Tn_ n34_a_lob_n01_45->n34_a_lob_n01_48 n34_a_lob_n01_50 NP-OB1 n34_a_lob_n01_45->n34_a_lob_n01_50 n34_a_lob_n01_46->n34_a_lob_n01_47 n34_a_lob_n01_48->n34_a_lob_n01_49 n34_a_lob_n01_51 D n34_a_lob_n01_50->n34_a_lob_n01_51 n34_a_lob_n01_53 ADJP n34_a_lob_n01_50->n34_a_lob_n01_53 n34_a_lob_n01_56 N n34_a_lob_n01_50->n34_a_lob_n01_56 n34_a_lob_n01_51->n34_a_lob_n01_52 n34_a_lob_n01_54 ADJ n34_a_lob_n01_53->n34_a_lob_n01_54 n34_a_lob_n01_54->n34_a_lob_n01_55 n34_a_lob_n01_56->n34_a_lob_n01_57 n34_a_lob_n01_58->n34_a_lob_n01_59 
( (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))