34_a_lob_n01
They were flying at more than 975 miles an hour, or nearly Mach 1.3 to use the modern jargon.
( (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))
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__nim).
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,attrib).
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,qual).
arc(r_0034_0014__Mach_r_0034_0015__1_dot_3,r_0034_0017__use,prn).
arc(r_0034_0017__use,r_0034_0018__the_r_0034_0020__jargon,arg1).
arc(r_0034_0017__use,z_0034_5010,arg0).
arc(r_0034_0018__the_r_0034_0020__jargon,r_0034_0019__modern,attrib).
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_0019__MODERN,R_0034_0018__THE_R_0034_0020__JARGON,Z_0034_5010,R_0034_0017__USE,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_0019__modern(R_0034_0019__MODERN)
& z_0034_5010(Z_0034_5010)
& r_0034_0002__were_r_0034_0003__flying(R_0034_0002__WERE_R_0034_0003__FLYING)
& has_r_0034_0004__at__nim(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_prn(R_0034_0014__MACH_R_0034_0015__1_DOT_3,R_0034_0017__USE)
& r_0034_0017__use(R_0034_0017__USE)
& has_arg0(R_0034_0017__USE,Z_0034_5010)
& has_arg1(R_0034_0017__USE,R_0034_0018__THE_R_0034_0020__JARGON)
& r_0034_0018__the_r_0034_0020__jargon(R_0034_0018__THE_R_0034_0020__JARGON)
& has_attrib(R_0034_0018__THE_R_0034_0020__JARGON,R_0034_0019__MODERN)
& has_qual(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_attrib(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) ) ).