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, z_000_70_a_lob_n01_32, nim32).
arc(r_0070_0016__but, r_0070_0007__might, conj1).
arc(r_0070_0016__but, r_0070_0023__was, conj2).
arc(r_0070_0017__to_r_0070_0018__speculate, r_0070_0020__the_r_0070_0022__alternatives, r_0070_0019__on_clr60).
arc(r_0070_0017__to_r_0070_0018__speculate, z_000_70_a_lob_n01_52, arg0).
arc(r_0070_0020__the_r_0070_0022__alternatives, r_0070_0021__innumerable, attrib63).
arc(r_0070_0023__was, r_0070_0017__to_r_0070_0018__speculate, arg0).
arc(r_0070_0023__was, r_0070_0024__to_r_0070_0025__invite, prd).
arc(r_0070_0024__to_r_0070_0025__invite, r_0070_0026__confusion, arg1).
arc(r_0070_0024__to_r_0070_0025__invite, x_000_70_a_lob_n01_70, arg0).

fof(formula,axiom,
    ? [R_0070_0001__THE_R_0070_0002__MEN,R_0070_0006__EVE,R_0070_0004__HAD_R_0070_0005__CAPTURED,Z_000_70_A_LOB_N01_32,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_000_70_A_LOB_N01_52,R_0070_0017__TO_R_0070_0018__SPECULATE,R_0070_0026__CONFUSION,X_000_70_A_LOB_N01_70,R_0070_0024__TO_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_0021__innumerable(R_0070_0021__INNUMERABLE)
      & r_0070_0026__confusion(R_0070_0026__CONFUSION)
      & x_000_70_a_lob_n01_70(X_000_70_A_LOB_N01_70)
      & z_000_70_a_lob_n01_32(Z_000_70_A_LOB_N01_32)
      & z_000_70_a_lob_n01_52(Z_000_70_A_LOB_N01_52)
      & 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_0024__TO_R_0070_0025__INVITE)
      & r_0070_0024__to_r_0070_0025__invite(R_0070_0024__TO_R_0070_0025__INVITE)
      & has_arg0(R_0070_0024__TO_R_0070_0025__INVITE,X_000_70_A_LOB_N01_70)
      & has_arg1(R_0070_0024__TO_R_0070_0025__INVITE,R_0070_0026__CONFUSION)
      & has_arg0(R_0070_0023__WAS,R_0070_0017__TO_R_0070_0018__SPECULATE)
      & r_0070_0017__to_r_0070_0018__speculate(R_0070_0017__TO_R_0070_0018__SPECULATE)
      & has_arg0(R_0070_0017__TO_R_0070_0018__SPECULATE,Z_000_70_A_LOB_N01_52)
      & has_r_0070_0019__on_clr60(R_0070_0017__TO_R_0070_0018__SPECULATE,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_attrib63(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_nim32(R_0070_0007__MIGHT_R_0070_0008__HAVE_R_0070_0009__TAKEN,Z_000_70_A_LOB_N01_32)
      & 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) ) ).

( (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))