arc(r_0050_0005__provides, r_0050_0002__this_r_0050_0003__technology, arg0).
arc(r_0050_0005__provides, r_0050_0004__really, nim12).
arc(r_0050_0005__provides, z_000_50_a_duplex_2, arg1).
arc(r_0050_0006__is, r_0050_0007__yet, nim19).
arc(r_0050_0006__is, r_0050_0008__another_r_0050_0009__way, prd).
arc(r_0050_0006__is, z_000_50_a_duplex_2, arg0).
arc(r_0050_0008__another_r_0050_0009__way, r_0050_0010__for_r_0050_0012__to_r_0050_0013__automate, emb27).
arc(r_0050_0010__for_r_0050_0012__to_r_0050_0013__automate, r_0050_0011__Google, arg0).
arc(r_0050_0010__for_r_0050_0012__to_r_0050_0013__automate, r_0050_0014__the_r_0050_0015__collection, arg1).
arc(r_0050_0014__the_r_0050_0015__collection, r_0050_0018__data, r_0050_0016__of).
arc(r_0050_0018__data, r_0050_0017__useful, attrib46).
arc(r_0050_0019__that_r_0050_0020__is, r_0050_0022__captured, scope).
arc(r_0050_0021__n_apos_t, r_0050_0019__that_r_0050_0020__is, keep_scope).
arc(r_0050_0022__captured, r_0050_0018__data, arg1).
arc(r_0050_0022__captured, r_0050_0026__methods, arg0).
arc(r_0050_0026__methods, r_0050_0011__Google, gen).
arc(r_0050_0026__methods, r_0050_0025__existing, attrib70).

fof(formula,axiom,
    ? [R_0050_0002__THIS_R_0050_0003__TECHNOLOGY,R_0050_0004__REALLY,Z_000_50_A_DUPLEX_2,R_0050_0005__PROVIDES,R_0050_0007__YET,R_0050_0011__GOOGLE,R_0050_0017__USEFUL,R_0050_0018__DATA,R_0050_0014__THE_R_0050_0015__COLLECTION,R_0050_0010__FOR_R_0050_0012__TO_R_0050_0013__AUTOMATE,R_0050_0008__ANOTHER_R_0050_0009__WAY,R_0050_0006__IS] :
      ( r_0050_0002__this_r_0050_0003__technology(R_0050_0002__THIS_R_0050_0003__TECHNOLOGY)
      & r_0050_0004__really(R_0050_0004__REALLY)
      & r_0050_0007__yet(R_0050_0007__YET)
      & r_0050_0011__Google(R_0050_0011__GOOGLE)
      & r_0050_0017__useful(R_0050_0017__USEFUL)
      & z_000_50_a_duplex_2(Z_000_50_A_DUPLEX_2)
      & ~ ? [R_0050_0025__EXISTING,R_0050_0026__METHODS,R_0050_0019__THAT_R_0050_0020__IS_R_0050_0022__CAPTURED] :
            ( r_0050_0025__existing(R_0050_0025__EXISTING)
            & r_0050_0019__that_r_0050_0020__is_r_0050_0022__captured(R_0050_0019__THAT_R_0050_0020__IS_R_0050_0022__CAPTURED)
            & has_arg0(R_0050_0019__THAT_R_0050_0020__IS_R_0050_0022__CAPTURED,R_0050_0026__METHODS)
            & r_0050_0026__methods(R_0050_0026__METHODS)
            & has_attrib70(R_0050_0026__METHODS,R_0050_0025__EXISTING)
            & has_gen(R_0050_0026__METHODS,R_0050_0011__GOOGLE)
            & has_arg1(R_0050_0019__THAT_R_0050_0020__IS_R_0050_0022__CAPTURED,R_0050_0018__DATA) )
      & r_0050_0006__is(R_0050_0006__IS)
      & has_arg0(R_0050_0006__IS,Z_000_50_A_DUPLEX_2)
      & has_prd(R_0050_0006__IS,R_0050_0008__ANOTHER_R_0050_0009__WAY)
      & r_0050_0008__another_r_0050_0009__way(R_0050_0008__ANOTHER_R_0050_0009__WAY)
      & has_emb27(R_0050_0008__ANOTHER_R_0050_0009__WAY,R_0050_0010__FOR_R_0050_0012__TO_R_0050_0013__AUTOMATE)
      & r_0050_0010__for_r_0050_0012__to_r_0050_0013__automate(R_0050_0010__FOR_R_0050_0012__TO_R_0050_0013__AUTOMATE)
      & has_arg1(R_0050_0010__FOR_R_0050_0012__TO_R_0050_0013__AUTOMATE,R_0050_0014__THE_R_0050_0015__COLLECTION)
      & r_0050_0014__the_r_0050_0015__collection(R_0050_0014__THE_R_0050_0015__COLLECTION)
      & has_r_0050_0016__of(R_0050_0014__THE_R_0050_0015__COLLECTION,R_0050_0018__DATA)
      & r_0050_0018__data(R_0050_0018__DATA)
      & has_attrib46(R_0050_0018__DATA,R_0050_0017__USEFUL)
      & has_arg0(R_0050_0010__FOR_R_0050_0012__TO_R_0050_0013__AUTOMATE,R_0050_0011__GOOGLE)
      & has_nim19(R_0050_0006__IS,R_0050_0007__YET)
      & r_0050_0005__provides(R_0050_0005__PROVIDES)
      & has_arg1(R_0050_0005__PROVIDES,Z_000_50_A_DUPLEX_2)
      & has_nim12(R_0050_0005__PROVIDES,R_0050_0004__REALLY)
      & has_arg0(R_0050_0005__PROVIDES,R_0050_0002__THIS_R_0050_0003__TECHNOLOGY) ) ).

( (IP-MAT (NP-SBJ (IP-REL (NP-OB1 (RPRO What;{what}))
                          (NP-SBJ (D this;{this})
                                  (N technology;{technology}))
                          (ADVP-NIM (ADV really;{really}))
                          (VBP;_Tn_ provides;{provide})))
          (BEP;_Ln_ is;{be})
          (ADVP-NIM (ADV yet;{yet}))
          (NP-PRD (D another;{another})
                  (N way;{way})
                  (IP-INF (P-CONN for;{for})
                          (NP-SBJ;{GOOGLE} (NPR Google;{Google}))
                          (TO to;{to})
                          (VB;_Tn_ automate;{automate})
                          (NP-OB1 (D the;{the})
                                  (N collection;{collection})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ useful;{useful}))
                                          (NS data;{data})
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ *T*)
                                                  (BEP;_cat_VePASS_ is;{be})
                                                  (NEG;_clitic_ n<apos>t;{not})
                                                  (IP-PPL-CAT (VVN;_Tn_ captured;{capture})
                                                              (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                      (NP (NP-GEN;{GOOGLE} (PRO;_genm_ its;{its}))
                                                                          (ADJP (ADJ existing;{existing}))
                                                                          (NS methods;{method}))))))))))
          (PUNC .))
  (ID 50_a_duplex))