TSPC 70_a_lob

70_a_lob_n01
The men who had captured Eve might have taken her anywhere but to Barletta, but to speculate on the innumerable alternatives was to invite confusion.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (NS men;{man})
                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                      (HVD;_cat_Ve_ had;{have})
                                      (IP-PPL-CAT (VVN;__ captured;{capture})
                                                  (NP-OB1;{EVE} (NPR Eve;{Eve})))))
                      (MD;_cat_Vi_ might;{may})
                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (VVN;__ taken;{take})
                                              (NP-OB1;{EVE} (PRO her;{her}))
                                              (ADVP-NIM (AVLYR (AVLYR (ADV anywhere;{anywhere}))
                                                               (CONJP (CONJ but;{but})
                                                                      (PP (P-ROLE to;{to})
                                                                          (NP (NPR Barletta;{Barletta})))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (IP-INF-SBJ (TO to;{to})
                                         (VB;_Ipr_ speculate;{speculate[on]})
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP (D the;{the})
                                                     (ADJP (ADJ innumerable;{innumerable}))
                                                     (NS alternatives;{alternative}))))
                             (BED;_equ_Vt_ was;{be})
                             (IP-INF-PRD (TO to;{to})
                                         (VB;_Tn_ invite;{invite})
                                         (NP-OB1 (N confusion;{confusion}))))))
          (PUNC .))
  (ID 70_a_lob_n01))

arc(r_0070_0004__had,r_0070_0005__captured,scope).
arc(r_0070_0005__captured,r_0070_0001__The_r_0070_0002__men,arg0).
arc(r_0070_0005__captured,r_0070_0006__Eve,arg1).
arc(r_0070_0007__might,r_0070_0008__have,scope).
arc(r_0070_0008__have,r_0070_0009__taken,scope).
arc(r_0070_0009__taken,r_0070_0001__The_r_0070_0002__men,arg0).
arc(r_0070_0009__taken,r_0070_0006__Eve,arg1).
arc(r_0070_0009__taken,r_0070_0012__but,nim).
arc(r_0070_0012__but,r_0070_0011__anywhere,conj1).
arc(r_0070_0016__but,r_0070_0007__might,conj1).
arc(r_0070_0016__but,r_0070_0023__was,conj2).
arc(r_0070_0018__speculate_r_0070_0019__on,r_0070_0020__the_r_0070_0022__alternatives,arg1).
arc(r_0070_0018__speculate_r_0070_0019__on,z_0070_5015,arg0).
arc(r_0070_0020__the_r_0070_0022__alternatives,r_0070_0021__innumerable,attrib).
arc(r_0070_0023__was,r_0070_0018__speculate_r_0070_0019__on,arg0).
arc(r_0070_0023__was,r_0070_0025__invite,prd).
arc(r_0070_0025__invite,r_0070_0026__confusion,arg1).
arc(r_0070_0025__invite,z_0070_5021,arg0).

fof(formula,axiom,
    ? [R_0070_0001__THE_R_0070_0002__MEN,R_0070_0006__EVE,R_0070_0004__HAD_R_0070_0005__CAPTURED,R_0070_0011__ANYWHERE,R_0070_0012__BUT,R_0070_0007__MIGHT_R_0070_0008__HAVE_R_0070_0009__TAKEN,R_0070_0021__INNUMERABLE,R_0070_0020__THE_R_0070_0022__ALTERNATIVES,Z_0070_5015,R_0070_0018__SPECULATE_R_0070_0019__ON,R_0070_0026__CONFUSION,Z_0070_5021,R_0070_0025__INVITE,R_0070_0023__WAS,R_0070_0016__BUT] :
      ( r_0070_0001__The_r_0070_0002__men(R_0070_0001__THE_R_0070_0002__MEN)
      & r_0070_0006__Eve(R_0070_0006__EVE)
      & r_0070_0011__anywhere(R_0070_0011__ANYWHERE)
      & r_0070_0021__innumerable(R_0070_0021__INNUMERABLE)
      & r_0070_0026__confusion(R_0070_0026__CONFUSION)
      & z_0070_5015(Z_0070_5015)
      & z_0070_5021(Z_0070_5021)
      & r_0070_0016__but(R_0070_0016__BUT)
      & has_conj2(R_0070_0016__BUT,R_0070_0023__WAS)
      & r_0070_0023__was(R_0070_0023__WAS)
      & has_prd(R_0070_0023__WAS,R_0070_0025__INVITE)
      & r_0070_0025__invite(R_0070_0025__INVITE)
      & has_arg0(R_0070_0025__INVITE,Z_0070_5021)
      & has_arg1(R_0070_0025__INVITE,R_0070_0026__CONFUSION)
      & has_arg0(R_0070_0023__WAS,R_0070_0018__SPECULATE_R_0070_0019__ON)
      & r_0070_0018__speculate_r_0070_0019__on(R_0070_0018__SPECULATE_R_0070_0019__ON)
      & has_arg0(R_0070_0018__SPECULATE_R_0070_0019__ON,Z_0070_5015)
      & has_arg1(R_0070_0018__SPECULATE_R_0070_0019__ON,R_0070_0020__THE_R_0070_0022__ALTERNATIVES)
      & r_0070_0020__the_r_0070_0022__alternatives(R_0070_0020__THE_R_0070_0022__ALTERNATIVES)
      & has_attrib(R_0070_0020__THE_R_0070_0022__ALTERNATIVES,R_0070_0021__INNUMERABLE)
      & has_conj1(R_0070_0016__BUT,R_0070_0007__MIGHT_R_0070_0008__HAVE_R_0070_0009__TAKEN)
      & r_0070_0007__might_r_0070_0008__have_r_0070_0009__taken(R_0070_0007__MIGHT_R_0070_0008__HAVE_R_0070_0009__TAKEN)
      & has_nim(R_0070_0007__MIGHT_R_0070_0008__HAVE_R_0070_0009__TAKEN,R_0070_0012__BUT)
      & r_0070_0012__but(R_0070_0012__BUT)
      & has_conj1(R_0070_0012__BUT,R_0070_0011__ANYWHERE)
      & has_arg1(R_0070_0007__MIGHT_R_0070_0008__HAVE_R_0070_0009__TAKEN,R_0070_0006__EVE)
      & has_arg0(R_0070_0007__MIGHT_R_0070_0008__HAVE_R_0070_0009__TAKEN,R_0070_0001__THE_R_0070_0002__MEN)
      & r_0070_0004__had_r_0070_0005__captured(R_0070_0004__HAD_R_0070_0005__CAPTURED)
      & has_arg1(R_0070_0004__HAD_R_0070_0005__CAPTURED,R_0070_0006__EVE)
      & has_arg0(R_0070_0004__HAD_R_0070_0005__CAPTURED,R_0070_0001__THE_R_0070_0002__MEN) ) ).