arc(r_0041_0003__there_r_0041_0004___apos_s, r_0041_0005__apprehension, arg0).
arc(r_0041_0005__apprehension, r_0041_0007__diving, r_0041_0006__about).
arc(r_0041_0007__diving, r_0041_0009__a_r_0041_0011__world, r_0041_0008__into_clr23).
arc(r_0041_0007__diving, z_000_41_a_duplex_17, arg0).
arc(r_0041_0009__a_r_0041_0011__world, r_0041_0010__roboticised, attrib26).
arc(r_0041_0014__may, r_0041_0009__a_r_0041_0011__world, nim32).
arc(r_0041_0014__may, r_0041_0016__outsmart, scope).
arc(r_0041_0016__outsmart, r_0041_0013__machines, arg0).
arc(r_0041_0016__outsmart, r_0041_0015__soon, nim41).
arc(r_0041_0016__outsmart, r_0041_0017__us, arg1).

fof(formula,axiom,
    ? [R_0041_0010__ROBOTICISED,R_0041_0009__A_R_0041_0011__WORLD,Z_000_41_A_DUPLEX_17,R_0041_0007__DIVING,R_0041_0005__APPREHENSION,R_0041_0003__THERE_R_0041_0004___APOS_S,R_0041_0013__MACHINES,R_0041_0015__SOON,R_0041_0017__US,R_0041_0014__MAY_R_0041_0016__OUTSMART] :
      ( r_0041_0010__roboticised(R_0041_0010__ROBOTICISED)
      & r_0041_0013__machines(R_0041_0013__MACHINES)
      & r_0041_0015__soon(R_0041_0015__SOON)
      & r_0041_0017__us(R_0041_0017__US)
      & z_000_41_a_duplex_17(Z_000_41_A_DUPLEX_17)
      & r_0041_0014__may_r_0041_0016__outsmart(R_0041_0014__MAY_R_0041_0016__OUTSMART)
      & has_arg1(R_0041_0014__MAY_R_0041_0016__OUTSMART,R_0041_0017__US)
      & has_nim41(R_0041_0014__MAY_R_0041_0016__OUTSMART,R_0041_0015__SOON)
      & has_arg0(R_0041_0014__MAY_R_0041_0016__OUTSMART,R_0041_0013__MACHINES)
      & has_nim32(R_0041_0014__MAY_R_0041_0016__OUTSMART,R_0041_0009__A_R_0041_0011__WORLD)
      & r_0041_0009__a_r_0041_0011__world(R_0041_0009__A_R_0041_0011__WORLD)
      & has_attrib26(R_0041_0009__A_R_0041_0011__WORLD,R_0041_0010__ROBOTICISED)
      & r_0041_0003__there_r_0041_0004___apos_s(R_0041_0003__THERE_R_0041_0004___APOS_S)
      & has_arg0(R_0041_0003__THERE_R_0041_0004___APOS_S,R_0041_0005__APPREHENSION)
      & r_0041_0005__apprehension(R_0041_0005__APPREHENSION)
      & has_r_0041_0006__about(R_0041_0005__APPREHENSION,R_0041_0007__DIVING)
      & r_0041_0007__diving(R_0041_0007__DIVING)
      & has_arg0(R_0041_0007__DIVING,Z_000_41_A_DUPLEX_17)
      & has_r_0041_0008__into_clr23(R_0041_0007__DIVING,R_0041_0009__A_R_0041_0011__WORLD) ) ).

( (IP-MAT (LST (LS One))
          (PUNC ,)
          (EX there;{there})
          (BEP;_ex_V_ <apos>s;{be})
          (NP-ESBJ (N apprehension;{apprehension})
                   (PP (P-ROLE about;{about})
                       (IP-PPL (VAG;_Ipr_ diving;{dive[into]})
                               (PP-CLR (P-ROLE into;{into})
                                       (NP (D a;{a})
                                           (ADJP (ADJ roboticised;{roboticised}))
                                           (N world;{world})
                                           (IP-REL (ADVP-NIM (RADV where;{where}))
                                                   (NP-SBJ (NS machines;{machine}))
                                                   (MD;_cat_Vi_ may;{may})
                                                   (IP-INF-CAT (ADVP-NIM (ADV soon;{soon}))
                                                               (VB;_Tn_ outsmart;{outsmart})
                                                               (NP-OB1;{PERSONS} (PRO us;{we})))))))))
          (PUNC .))
  (ID 41_a_duplex))