TSPC 66_a_lob

66_a_lob_n01
Their final objective could only be to deliver Eve to Herring's headquarters, which in the light of the information he had gleaned at the morning's conference and of Gloria Falcon's story appeared to be somewhere in the Gargano Massif.

( (IP-MAT (NP-SBJ (NP-GEN;{BENTLEY_RIDERS} (PRO;_genm_ Their;{their}))
                  (ADJP (ADJ final;{final}))
                  (N objective;{objective}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (BE;_equ_Vt_ be;{be})
                      (IP-INF-PRD (TO to;{to})
                                  (VB;__ deliver;{deliver})
                                  (NP-OB1;{EVE} (NPR Eve;{Eve}))
                                  (PP-NIM (P-ROLE to;{to})
                                          (NP (NP-GEN (NPR Herring;{Herring})
                                                      (GENM <apos>s))
                                              (N headquarters;{headquarters})
                                              (PUNC ,)
                                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (D the;{the})
                                                                  (N light;{light})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (D the;{the})
                                                                          (N information;{information})
                                                                          (IP-REL (NP-SBJ;{GEOFFREY} (PRO he;{he}))
                                                                                  (HVD;_cat_Ve_ had;{have})
                                                                                  (IP-PPL-CAT (NP-OB1 *T*)
                                                                                              (VVN;__ gleaned;{glean})
                                                                                              (PP-NIM (PP-NIM (P-ROLE at;{at})
                                                                                                              (NP (NP-GEN (D the;{the})
                                                                                                                          (N morning;{morning})
                                                                                                                          (GENM <apos>s))
                                                                                                                  (N conference;{conference})))
                                                                                                      (CONJP (CONJ and;{and})
                                                                                                             (PP-NIM (P-ROLE of;{of})
                                                                                                                     (NP (NP-GEN (NPR Gloria;{Gloria})
                                                                                                                                 (NPR Falcon;{Falcon})
                                                                                                                                 (GENM <apos>s))
                                                                                                                         (N story;{story})))))))))))
                                                      (VBD;_cat_Vt_ appeared;{appear})
                                                      (IP-INF-CAT (TO to;{to})
                                                                  (BE;_Ip_ be;{be})
                                                                  (ADVP-CLR (ADV somewhere;{somewhere})
                                                                            (PP (P-ROLE in;{in})
                                                                                (NP (D the;{the})
                                                                                    (NPR Gargano;{Gargano})
                                                                                    (NPR Massif;{Massif}))))))))))
          (PUNC .))
  (ID 66_a_lob_n01))

arc(r_0066_0003__objective,r_0066_0001__Their,gen).
arc(r_0066_0003__objective,r_0066_0002__final,attrib).
arc(r_0066_0004__could,r_0066_0006__be,scope).
arc(r_0066_0006__be,r_0066_0003__objective,arg0).
arc(r_0066_0006__be,r_0066_0005__only,nim).
arc(r_0066_0006__be,r_0066_0008__deliver,prd).
arc(r_0066_0008__deliver,r_0066_0009__Eve,arg1).
arc(r_0066_0008__deliver,r_0066_0013__headquarters,r_0066_0010__to__nim).
arc(r_0066_0008__deliver,z_0066_5006,arg0).
arc(r_0066_0013__headquarters,r_0066_0011__Herring,gen).
arc(r_0066_0017__the_r_0066_0018__light,r_0066_0020__the_r_0066_0021__information,r_0066_0019__of).
arc(r_0066_0023__had,r_0066_0024__gleaned,scope).
arc(r_0066_0024__gleaned,r_0066_0020__the_r_0066_0021__information,inv_arg1).
arc(r_0066_0024__gleaned,r_0066_0022__he,arg0).
arc(r_0066_0024__gleaned,r_0066_0030__and,nim).
arc(r_0066_0029__conference,r_0066_0026__the_r_0066_0027__morning,gen).
arc(r_0066_0030__and,r_0066_0029__conference,r_0066_0025__at__nim).
arc(r_0066_0030__and,r_0066_0035__story,r_0066_0031__of__nim).
arc(r_0066_0035__story,r_0066_0032__Gloria_r_0066_0033__Falcon,gen).
arc(r_0066_0036__appeared,r_0066_0017__the_r_0066_0018__light,r_0066_0016__in__nim).
arc(r_0066_0036__appeared,r_0066_0038__be,scope).
arc(r_0066_0038__be,r_0066_0013__headquarters,arg0).
arc(r_0066_0038__be,r_0066_0039__somewhere,clr).
arc(r_0066_0039__somewhere,r_0066_0041__the_r_0066_0042__Gargano_r_0066_0043__Massif,r_0066_0040__in).

fof(formula,axiom,
    ? [R_0066_0001__THEIR,R_0066_0002__FINAL,R_0066_0003__OBJECTIVE,R_0066_0005__ONLY,R_0066_0009__EVE,R_0066_0011__HERRING,R_0066_0013__HEADQUARTERS,Z_0066_5006,R_0066_0008__DELIVER,R_0066_0004__COULD_R_0066_0006__BE,R_0066_0022__HE,R_0066_0026__THE_R_0066_0027__MORNING,R_0066_0029__CONFERENCE,R_0066_0032__GLORIA_R_0066_0033__FALCON,R_0066_0035__STORY,R_0066_0030__AND,R_0066_0023__HAD_R_0066_0024__GLEANED,R_0066_0020__THE_R_0066_0021__INFORMATION,R_0066_0017__THE_R_0066_0018__LIGHT,R_0066_0041__THE_R_0066_0042__GARGANO_R_0066_0043__MASSIF,R_0066_0039__SOMEWHERE,R_0066_0036__APPEARED_R_0066_0038__BE] :
      ( r_0066_0001__Their(R_0066_0001__THEIR)
      & r_0066_0002__final(R_0066_0002__FINAL)
      & r_0066_0005__only(R_0066_0005__ONLY)
      & r_0066_0009__Eve(R_0066_0009__EVE)
      & r_0066_0011__Herring(R_0066_0011__HERRING)
      & r_0066_0022__he(R_0066_0022__HE)
      & r_0066_0026__the_r_0066_0027__morning(R_0066_0026__THE_R_0066_0027__MORNING)
      & r_0066_0032__Gloria_r_0066_0033__Falcon(R_0066_0032__GLORIA_R_0066_0033__FALCON)
      & r_0066_0041__the_r_0066_0042__Gargano_r_0066_0043__Massif(R_0066_0041__THE_R_0066_0042__GARGANO_R_0066_0043__MASSIF)
      & z_0066_5006(Z_0066_5006)
      & r_0066_0036__appeared_r_0066_0038__be(R_0066_0036__APPEARED_R_0066_0038__BE)
      & has_clr(R_0066_0036__APPEARED_R_0066_0038__BE,R_0066_0039__SOMEWHERE)
      & r_0066_0039__somewhere(R_0066_0039__SOMEWHERE)
      & has_r_0066_0040__in(R_0066_0039__SOMEWHERE,R_0066_0041__THE_R_0066_0042__GARGANO_R_0066_0043__MASSIF)
      & has_arg0(R_0066_0036__APPEARED_R_0066_0038__BE,R_0066_0013__HEADQUARTERS)
      & r_0066_0013__headquarters(R_0066_0013__HEADQUARTERS)
      & has_gen(R_0066_0013__HEADQUARTERS,R_0066_0011__HERRING)
      & has_r_0066_0016__in__nim(R_0066_0036__APPEARED_R_0066_0038__BE,R_0066_0017__THE_R_0066_0018__LIGHT)
      & r_0066_0017__the_r_0066_0018__light(R_0066_0017__THE_R_0066_0018__LIGHT)
      & has_r_0066_0019__of(R_0066_0017__THE_R_0066_0018__LIGHT,R_0066_0020__THE_R_0066_0021__INFORMATION)
      & r_0066_0020__the_r_0066_0021__information(R_0066_0020__THE_R_0066_0021__INFORMATION)
      & has_inv_arg1(R_0066_0020__THE_R_0066_0021__INFORMATION,R_0066_0023__HAD_R_0066_0024__GLEANED)
      & r_0066_0023__had_r_0066_0024__gleaned(R_0066_0023__HAD_R_0066_0024__GLEANED)
      & has_nim(R_0066_0023__HAD_R_0066_0024__GLEANED,R_0066_0030__AND)
      & r_0066_0030__and(R_0066_0030__AND)
      & has_r_0066_0031__of__nim(R_0066_0030__AND,R_0066_0035__STORY)
      & r_0066_0035__story(R_0066_0035__STORY)
      & has_gen(R_0066_0035__STORY,R_0066_0032__GLORIA_R_0066_0033__FALCON)
      & has_r_0066_0025__at__nim(R_0066_0030__AND,R_0066_0029__CONFERENCE)
      & r_0066_0029__conference(R_0066_0029__CONFERENCE)
      & has_gen(R_0066_0029__CONFERENCE,R_0066_0026__THE_R_0066_0027__MORNING)
      & has_arg0(R_0066_0023__HAD_R_0066_0024__GLEANED,R_0066_0022__HE)
      & r_0066_0004__could_r_0066_0006__be(R_0066_0004__COULD_R_0066_0006__BE)
      & has_prd(R_0066_0004__COULD_R_0066_0006__BE,R_0066_0008__DELIVER)
      & r_0066_0008__deliver(R_0066_0008__DELIVER)
      & has_arg0(R_0066_0008__DELIVER,Z_0066_5006)
      & has_r_0066_0010__to__nim(R_0066_0008__DELIVER,R_0066_0013__HEADQUARTERS)
      & has_arg1(R_0066_0008__DELIVER,R_0066_0009__EVE)
      & has_nim(R_0066_0004__COULD_R_0066_0006__BE,R_0066_0005__ONLY)
      & has_arg0(R_0066_0004__COULD_R_0066_0006__BE,R_0066_0003__OBJECTIVE)
      & r_0066_0003__objective(R_0066_0003__OBJECTIVE)
      & has_attrib(R_0066_0003__OBJECTIVE,R_0066_0002__FINAL)
      & has_gen(R_0066_0003__OBJECTIVE,R_0066_0001__THEIR) ) ).