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_41_3_THERE_APOS_S,R_41_5_APPREHENSION,R_41_7_DIVING,Z_41_A_DUPLEX_17,R_41_14_MAY_OUTSMART,R_41_13_MACHINES,R_41_17_US,R_41_9_A_WORLD,R_41_10_ROBOTICISED,R_41_15_SOON] :
      ( machines(R_41_13_MACHINES)
      & us(R_41_17_US)
      & roboticised(R_41_10_ROBOTICISED)
      & soon(R_41_15_SOON)
      & there_apos_s(R_41_3_THERE_APOS_S,R_41_5_APPREHENSION)
      & apprehension(R_41_5_APPREHENSION)
      & about(R_41_5_APPREHENSION,R_41_7_DIVING)
      & diving(R_41_7_DIVING,Z_41_A_DUPLEX_17)
      & into_clr23(R_41_7_DIVING,R_41_9_A_WORLD)
      & a_world(R_41_9_A_WORLD)
      & attrib26(R_41_9_A_WORLD,R_41_10_ROBOTICISED)
      & may_outsmart(R_41_14_MAY_OUTSMART,R_41_13_MACHINES,R_41_17_US)
      & nim32(R_41_14_MAY_OUTSMART,R_41_9_A_WORLD)
      & nim41(R_41_14_MAY_OUTSMART,R_41_15_SOON) ) ).

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