TSPC 96_a_lob

96_a_lob_n01
Alastair had decided to make the final approach to the airstrip at a very low level over the sea.

( (IP-MAT (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;__ decided;{decide})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;__ make;{make})
                                  (NP-OB1 (D the;{the})
                                          (ADJP (ADJ final;{final}))
                                          (N approach;{approach})
                                          (PP (P-ROLE to;{to})
                                              (NP (D the;{the})
                                                  (N airstrip;{airstrip})))
                                          (PP (P-ROLE at;{at})
                                              (NP (D a;{a})
                                                  (ADJP (ADVP (ADV very;{very}))
                                                        (ADJ low;{low}))
                                                  (N level;{level})
                                                  (PP (P-ROLE over;{over})
                                                      (NP (D the;{the})
                                                          (N sea;{sea}))))))))
          (PUNC .))
  (ID 96_a_lob_n01))

arc(r_0096_0002__had,r_0096_0003__decided,scope).
arc(r_0096_0003__decided,r_0096_0001__Alastair,arg0).
arc(r_0096_0003__decided,r_0096_0005__make,arg1).
arc(r_0096_0005__make,r_0096_0001__Alastair,arg0).
arc(r_0096_0005__make,r_0096_0006__the_r_0096_0008__approach,arg1).
arc(r_0096_0006__the_r_0096_0008__approach,r_0096_0007__final,attrib).
arc(r_0096_0006__the_r_0096_0008__approach,r_0096_0010__the_r_0096_0011__airstrip,r_0096_0009__to).
arc(r_0096_0006__the_r_0096_0008__approach,r_0096_0013__a_r_0096_0016__level,r_0096_0012__at).
arc(r_0096_0013__a_r_0096_0016__level,r_0096_0015__low,attrib).
arc(r_0096_0013__a_r_0096_0016__level,r_0096_0018__the_r_0096_0019__sea,r_0096_0017__over).
arc(r_0096_0015__low,r_0096_0014__very,qual).

fof(formula,axiom,
    ? [R_0096_0001__ALASTAIR,R_0096_0007__FINAL,R_0096_0010__THE_R_0096_0011__AIRSTRIP,R_0096_0014__VERY,R_0096_0015__LOW,R_0096_0018__THE_R_0096_0019__SEA,R_0096_0013__A_R_0096_0016__LEVEL,R_0096_0006__THE_R_0096_0008__APPROACH,R_0096_0005__MAKE,R_0096_0002__HAD_R_0096_0003__DECIDED] :
      ( r_0096_0001__Alastair(R_0096_0001__ALASTAIR)
      & r_0096_0007__final(R_0096_0007__FINAL)
      & r_0096_0010__the_r_0096_0011__airstrip(R_0096_0010__THE_R_0096_0011__AIRSTRIP)
      & r_0096_0014__very(R_0096_0014__VERY)
      & r_0096_0018__the_r_0096_0019__sea(R_0096_0018__THE_R_0096_0019__SEA)
      & r_0096_0002__had_r_0096_0003__decided(R_0096_0002__HAD_R_0096_0003__DECIDED)
      & has_arg1(R_0096_0002__HAD_R_0096_0003__DECIDED,R_0096_0005__MAKE)
      & r_0096_0005__make(R_0096_0005__MAKE)
      & has_arg1(R_0096_0005__MAKE,R_0096_0006__THE_R_0096_0008__APPROACH)
      & r_0096_0006__the_r_0096_0008__approach(R_0096_0006__THE_R_0096_0008__APPROACH)
      & has_r_0096_0012__at(R_0096_0006__THE_R_0096_0008__APPROACH,R_0096_0013__A_R_0096_0016__LEVEL)
      & r_0096_0013__a_r_0096_0016__level(R_0096_0013__A_R_0096_0016__LEVEL)
      & has_r_0096_0017__over(R_0096_0013__A_R_0096_0016__LEVEL,R_0096_0018__THE_R_0096_0019__SEA)
      & has_attrib(R_0096_0013__A_R_0096_0016__LEVEL,R_0096_0015__LOW)
      & r_0096_0015__low(R_0096_0015__LOW)
      & has_qual(R_0096_0015__LOW,R_0096_0014__VERY)
      & has_r_0096_0009__to(R_0096_0006__THE_R_0096_0008__APPROACH,R_0096_0010__THE_R_0096_0011__AIRSTRIP)
      & has_attrib(R_0096_0006__THE_R_0096_0008__APPROACH,R_0096_0007__FINAL)
      & has_arg0(R_0096_0005__MAKE,R_0096_0001__ALASTAIR)
      & has_arg0(R_0096_0002__HAD_R_0096_0003__DECIDED,R_0096_0001__ALASTAIR) ) ).