TSPC 98_a_lob

98_a_lob_n01
Now he was flying at less than a hundred feet, about five miles off the coast.

( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ;{ALASTAIR} (PRO he;{he}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;__ flying;{fly})
                      (PP-NIM (P-ROLE at;{at})
                              (NP (ADJP (ADJ less;{less})
                                        (PP (P-ROLE than;{than})
                                            (NP (D a;{a})
                                                (NUM hundred;{hundred}))))
                                  (NS feet;{foot})))
                      (PUNC ,)
                      (NP-NIM (ADVP (ADV about;{about}))
                              (NUM five;{five})
                              (NS miles;{mile})
                              (PP (P-ROLE off;{off})
                                  (NP (D the;{the})
                                      (N coast;{coast})))))
          (PUNC .))
  (ID 98_a_lob_n01))

arc(r_0098_0003__was,r_0098_0001__Now,nim).
arc(r_0098_0003__was,r_0098_0004__flying,scope).
arc(r_0098_0004__flying,r_0098_0002__he,arg0).
arc(r_0098_0004__flying,r_0098_0010__feet,r_0098_0005__at__nim).
arc(r_0098_0004__flying,r_0098_0013__five_r_0098_0014__miles,nim).
arc(r_0098_0006__less,r_0098_0008__a_r_0098_0009__hundred,r_0098_0007__than).
arc(r_0098_0010__feet,r_0098_0006__less,attrib).
arc(r_0098_0013__five_r_0098_0014__miles,r_0098_0012__about,qual).
arc(r_0098_0013__five_r_0098_0014__miles,r_0098_0016__the_r_0098_0017__coast,r_0098_0015__off).

fof(formula,axiom,
    ? [R_0098_0001__NOW,R_0098_0002__HE,R_0098_0008__A_R_0098_0009__HUNDRED,R_0098_0006__LESS,R_0098_0010__FEET,R_0098_0012__ABOUT,R_0098_0016__THE_R_0098_0017__COAST,R_0098_0013__FIVE_R_0098_0014__MILES,R_0098_0003__WAS_R_0098_0004__FLYING] :
      ( r_0098_0001__Now(R_0098_0001__NOW)
      & r_0098_0002__he(R_0098_0002__HE)
      & r_0098_0008__a_r_0098_0009__hundred(R_0098_0008__A_R_0098_0009__HUNDRED)
      & r_0098_0012__about(R_0098_0012__ABOUT)
      & r_0098_0016__the_r_0098_0017__coast(R_0098_0016__THE_R_0098_0017__COAST)
      & r_0098_0003__was_r_0098_0004__flying(R_0098_0003__WAS_R_0098_0004__FLYING)
      & has_nim(R_0098_0003__WAS_R_0098_0004__FLYING,R_0098_0013__FIVE_R_0098_0014__MILES)
      & r_0098_0013__five_r_0098_0014__miles(R_0098_0013__FIVE_R_0098_0014__MILES)
      & has_r_0098_0015__off(R_0098_0013__FIVE_R_0098_0014__MILES,R_0098_0016__THE_R_0098_0017__COAST)
      & has_qual(R_0098_0013__FIVE_R_0098_0014__MILES,R_0098_0012__ABOUT)
      & has_r_0098_0005__at__nim(R_0098_0003__WAS_R_0098_0004__FLYING,R_0098_0010__FEET)
      & r_0098_0010__feet(R_0098_0010__FEET)
      & has_attrib(R_0098_0010__FEET,R_0098_0006__LESS)
      & r_0098_0006__less(R_0098_0006__LESS)
      & has_r_0098_0007__than(R_0098_0006__LESS,R_0098_0008__A_R_0098_0009__HUNDRED)
      & has_arg0(R_0098_0003__WAS_R_0098_0004__FLYING,R_0098_0002__HE)
      & has_nim(R_0098_0003__WAS_R_0098_0004__FLYING,R_0098_0001__NOW) ) ).