TSPC 80_a_lob

80_a_lob_n01
Gloria had visited the farmer, told him that a high-level inspecting officer from the Italian ministry of aviation was proposing to land on the strip during the night and that it was as much as his life was worth to allow his cattle to be the cause of an accident.

( (IP-MAT (NP-SBJ;{GLORIA} (NPR Gloria;{Gloria}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (ILYR (ILYR (VVN;__ visited;{visit})
                                  (NP-OB1;{FARMER} (D the;{the})
                                                   (N farmer;{farmer})))
                            (PUNC ,)
                            (CONJP (ILYR (VVN;__ told;{tell})
                                         (NP-OB2;{FARMER} (PRO him;{he}))
                                         (CP-THT-OB1 (IP-SUB (ILYR (ILYR (C that;{that})
                                                                         (NP-SBJ (D a;{a})
                                                                                 (ADJP (ADJ high_<hyphen>_level;{high_level}))
                                                                                 (N inspecting;{inspecting})
                                                                                 (N officer;{officer})
                                                                                 (PP (P-ROLE from;{from})
                                                                                     (NP (D the;{the})
                                                                                         (ADJP (ADJ Italian;{italian}))
                                                                                         (N ministry;{ministry})
                                                                                         (PP (P-ROLE of;{of})
                                                                                             (NP (N aviation;{aviation}))))))
                                                                         (BED;_cat_Vg_ was;{be})
                                                                         (IP-PPL-CAT (VAG;__ proposing;{propose})
                                                                                     (IP-INF-OB1 (TO to;{to})
                                                                                                 (VB;__ land;{land})
                                                                                                 (PP-NIM (P-ROLE on;{on})
                                                                                                         (NP (D the;{the})
                                                                                                             (N strip;{strip})))
                                                                                                 (PP-NIM (P-ROLE during;{during})
                                                                                                         (NP (D the;{the})
                                                                                                             (N night;{night}))))))
                                                                   (CONJP (CONJ and;{and})
                                                                          (ILYR (C that;{that})
                                                                                (NP-SBJ (PRO;_provisional_ it;{it}))
                                                                                (BED;_La_ was;{be})
                                                                                (ADJP-PRD (ADVP (ADV as;{as}))
                                                                                          (ADJ much;{much})
                                                                                          (PP (P-CONN as;{as})
                                                                                              (IP-ADV (NP-SBJ (NP-GEN;{FARMER} (PRO;_genm_ his;{his}))
                                                                                                              (N life;{life}))
                                                                                                      (BED;_La_ was;{be})
                                                                                                      (ADJP-PRD (ADJ worth;{worth})))))
                                                                                (IP-INF-NSBJ (TO to;{to})
                                                                                             (VB;_Tnt_ allow;{allow})
                                                                                             (NP-DOB1 (NP-GEN;{FARMER} (PRO;_genm_ his;{his}))
                                                                                                      (NS cattle;{cattle}))
                                                                                             (IP-INF-OB1 (TO to;{to})
                                                                                                         (BE;_Ln_ be;{be})
                                                                                                         (NP-PRD (D the;{the})
                                                                                                                 (N cause;{cause})
                                                                                                                 (PP (P-ROLE of;{of})
                                                                                                                     (NP (D an;{an})
                                                                                                                         (N accident;{accident})))))))))))))))
          (PUNC .))
  (ID 80_a_lob_n01))

arc(r_0080_0002__had,z_0080_5002,scope).
arc(r_0080_0003__visited,r_0080_0001__Gloria,arg0).
arc(r_0080_0003__visited,r_0080_0004__the_r_0080_0005__farmer,arg1).
arc(r_0080_0007__told,r_0080_0001__Gloria,arg0).
arc(r_0080_0007__told,r_0080_0004__the_r_0080_0005__farmer,arg2).
arc(r_0080_0007__told,r_0080_0030__and,arg1).
arc(r_0080_0010__a_r_0080_0012__inspecting_r_0080_0013__officer,r_0080_0011__high__hyphen__level,attrib).
arc(r_0080_0010__a_r_0080_0012__inspecting_r_0080_0013__officer,r_0080_0015__the_r_0080_0017__ministry,r_0080_0014__from).
arc(r_0080_0015__the_r_0080_0017__ministry,r_0080_0016__Italian,attrib).
arc(r_0080_0015__the_r_0080_0017__ministry,r_0080_0019__aviation,r_0080_0018__of).
arc(r_0080_0020__was,r_0080_0021__proposing,scope).
arc(r_0080_0021__proposing,r_0080_0010__a_r_0080_0012__inspecting_r_0080_0013__officer,arg0).
arc(r_0080_0021__proposing,r_0080_0023__land,arg1).
arc(r_0080_0023__land,r_0080_0010__a_r_0080_0012__inspecting_r_0080_0013__officer,arg0).
arc(r_0080_0023__land,r_0080_0025__the_r_0080_0026__strip,r_0080_0024__on__nim).
arc(r_0080_0023__land,r_0080_0028__the_r_0080_0029__night,r_0080_0027__during__nim).
arc(r_0080_0030__and,r_0080_0020__was,conj1).
arc(r_0080_0030__and,r_0080_0033__was,conj2).
arc(r_0080_0033__was,r_0080_0035__much,prd).
arc(r_0080_0033__was,r_0080_0042__allow,arg0).
arc(r_0080_0035__much,r_0080_0034__as,qual).
arc(r_0080_0035__much,r_0080_0039__was,r_0080_0036__as).
arc(r_0080_0038__life,r_0080_0004__the_r_0080_0005__farmer,gen).
arc(r_0080_0039__was,r_0080_0038__life,arg0).
arc(r_0080_0039__was,r_0080_0040__worth,prd).
arc(r_0080_0042__allow,r_0080_0046__be,arg1).
arc(r_0080_0042__allow,z_0080_5019,arg0).
arc(r_0080_0044__cattle,r_0080_0004__the_r_0080_0005__farmer,gen).
arc(r_0080_0046__be,r_0080_0044__cattle,arg0).
arc(r_0080_0046__be,r_0080_0047__the_r_0080_0048__cause,prd).
arc(r_0080_0047__the_r_0080_0048__cause,r_0080_0050__an_r_0080_0051__accident,r_0080_0049__of).
arc(z_0080_5002,r_0080_0003__visited,conj1).
arc(z_0080_5002,r_0080_0007__told,conj2).

fof(formula,axiom,
    ? [R_0080_0001__GLORIA,R_0080_0004__THE_R_0080_0005__FARMER,R_0080_0003__VISITED,R_0080_0011__HIGH__HYPHEN__LEVEL,R_0080_0016__ITALIAN,R_0080_0019__AVIATION,R_0080_0015__THE_R_0080_0017__MINISTRY,R_0080_0010__A_R_0080_0012__INSPECTING_R_0080_0013__OFFICER,R_0080_0025__THE_R_0080_0026__STRIP,R_0080_0028__THE_R_0080_0029__NIGHT,R_0080_0023__LAND,R_0080_0020__WAS_R_0080_0021__PROPOSING,R_0080_0034__AS,R_0080_0038__LIFE,R_0080_0040__WORTH,R_0080_0039__WAS,R_0080_0035__MUCH,R_0080_0044__CATTLE,R_0080_0050__AN_R_0080_0051__ACCIDENT,R_0080_0047__THE_R_0080_0048__CAUSE,R_0080_0046__BE,Z_0080_5019,R_0080_0042__ALLOW,R_0080_0033__WAS,R_0080_0030__AND,R_0080_0007__TOLD,Z_0080_5002,R_0080_0002__HAD] :
      ( r_0080_0001__Gloria(R_0080_0001__GLORIA)
      & r_0080_0004__the_r_0080_0005__farmer(R_0080_0004__THE_R_0080_0005__FARMER)
      & r_0080_0011__high__hyphen__level(R_0080_0011__HIGH__HYPHEN__LEVEL)
      & r_0080_0016__Italian(R_0080_0016__ITALIAN)
      & r_0080_0019__aviation(R_0080_0019__AVIATION)
      & r_0080_0025__the_r_0080_0026__strip(R_0080_0025__THE_R_0080_0026__STRIP)
      & r_0080_0028__the_r_0080_0029__night(R_0080_0028__THE_R_0080_0029__NIGHT)
      & r_0080_0034__as(R_0080_0034__AS)
      & r_0080_0040__worth(R_0080_0040__WORTH)
      & r_0080_0050__an_r_0080_0051__accident(R_0080_0050__AN_R_0080_0051__ACCIDENT)
      & z_0080_5019(Z_0080_5019)
      & r_0080_0002__had(R_0080_0002__HAD)
      & has_keep_scope(R_0080_0002__HAD,Z_0080_5002)
      & z_0080_5002(Z_0080_5002)
      & has_conj2(Z_0080_5002,R_0080_0007__TOLD)
      & r_0080_0007__told(R_0080_0007__TOLD)
      & has_arg1(R_0080_0007__TOLD,R_0080_0030__AND)
      & r_0080_0030__and(R_0080_0030__AND)
      & has_conj2(R_0080_0030__AND,R_0080_0033__WAS)
      & r_0080_0033__was(R_0080_0033__WAS)
      & has_arg0(R_0080_0033__WAS,R_0080_0042__ALLOW)
      & r_0080_0042__allow(R_0080_0042__ALLOW)
      & has_arg0(R_0080_0042__ALLOW,Z_0080_5019)
      & has_arg1(R_0080_0042__ALLOW,R_0080_0046__BE)
      & r_0080_0046__be(R_0080_0046__BE)
      & has_prd(R_0080_0046__BE,R_0080_0047__THE_R_0080_0048__CAUSE)
      & r_0080_0047__the_r_0080_0048__cause(R_0080_0047__THE_R_0080_0048__CAUSE)
      & has_r_0080_0049__of(R_0080_0047__THE_R_0080_0048__CAUSE,R_0080_0050__AN_R_0080_0051__ACCIDENT)
      & has_arg0(R_0080_0046__BE,R_0080_0044__CATTLE)
      & r_0080_0044__cattle(R_0080_0044__CATTLE)
      & has_gen(R_0080_0044__CATTLE,R_0080_0004__THE_R_0080_0005__FARMER)
      & has_prd(R_0080_0033__WAS,R_0080_0035__MUCH)
      & r_0080_0035__much(R_0080_0035__MUCH)
      & has_r_0080_0036__as(R_0080_0035__MUCH,R_0080_0039__WAS)
      & r_0080_0039__was(R_0080_0039__WAS)
      & has_prd(R_0080_0039__WAS,R_0080_0040__WORTH)
      & has_arg0(R_0080_0039__WAS,R_0080_0038__LIFE)
      & r_0080_0038__life(R_0080_0038__LIFE)
      & has_gen(R_0080_0038__LIFE,R_0080_0004__THE_R_0080_0005__FARMER)
      & has_qual(R_0080_0035__MUCH,R_0080_0034__AS)
      & has_conj1(R_0080_0030__AND,R_0080_0020__WAS_R_0080_0021__PROPOSING)
      & r_0080_0020__was_r_0080_0021__proposing(R_0080_0020__WAS_R_0080_0021__PROPOSING)
      & has_arg1(R_0080_0020__WAS_R_0080_0021__PROPOSING,R_0080_0023__LAND)
      & r_0080_0023__land(R_0080_0023__LAND)
      & has_r_0080_0027__during__nim(R_0080_0023__LAND,R_0080_0028__THE_R_0080_0029__NIGHT)
      & has_r_0080_0024__on__nim(R_0080_0023__LAND,R_0080_0025__THE_R_0080_0026__STRIP)
      & has_arg0(R_0080_0023__LAND,R_0080_0010__A_R_0080_0012__INSPECTING_R_0080_0013__OFFICER)
      & r_0080_0010__a_r_0080_0012__inspecting_r_0080_0013__officer(R_0080_0010__A_R_0080_0012__INSPECTING_R_0080_0013__OFFICER)
      & has_r_0080_0014__from(R_0080_0010__A_R_0080_0012__INSPECTING_R_0080_0013__OFFICER,R_0080_0015__THE_R_0080_0017__MINISTRY)
      & r_0080_0015__the_r_0080_0017__ministry(R_0080_0015__THE_R_0080_0017__MINISTRY)
      & has_r_0080_0018__of(R_0080_0015__THE_R_0080_0017__MINISTRY,R_0080_0019__AVIATION)
      & has_attrib(R_0080_0015__THE_R_0080_0017__MINISTRY,R_0080_0016__ITALIAN)
      & has_attrib(R_0080_0010__A_R_0080_0012__INSPECTING_R_0080_0013__OFFICER,R_0080_0011__HIGH__HYPHEN__LEVEL)
      & has_arg0(R_0080_0020__WAS_R_0080_0021__PROPOSING,R_0080_0010__A_R_0080_0012__INSPECTING_R_0080_0013__OFFICER)
      & has_arg2(R_0080_0007__TOLD,R_0080_0004__THE_R_0080_0005__FARMER)
      & has_arg0(R_0080_0007__TOLD,R_0080_0001__GLORIA)
      & has_conj1(Z_0080_5002,R_0080_0003__VISITED)
      & r_0080_0003__visited(R_0080_0003__VISITED)
      & has_arg1(R_0080_0003__VISITED,R_0080_0004__THE_R_0080_0005__FARMER)
      & has_arg0(R_0080_0003__VISITED,R_0080_0001__GLORIA) ) ).