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

arc(r_0041_0004___apos_s,r_0041_0005__apprehension,arg0).
arc(r_0041_0005__apprehension,r_0041_0007__diving_r_0041_0008__into,r_0041_0006__about).
arc(r_0041_0007__diving_r_0041_0008__into,r_0041_0009__a_r_0041_0011__world,arg1).
arc(r_0041_0007__diving_r_0041_0008__into,z_0041_5004,arg0).
arc(r_0041_0009__a_r_0041_0011__world,r_0041_0010__roboticised,attrib).
arc(r_0041_0014__may,r_0041_0009__a_r_0041_0011__world,nim).
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,nim).
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_0041_5004,R_0041_0007__DIVING_R_0041_0008__INTO,R_0041_0005__APPREHENSION,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_0041_5004(Z_0041_5004)
      & 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_nim(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_nim(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_attrib(R_0041_0009__A_R_0041_0011__WORLD,R_0041_0010__ROBOTICISED)
      & r_0041_0004___apos_s(R_0041_0004___APOS_S)
      & has_arg0(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_0008__INTO)
      & r_0041_0007__diving_r_0041_0008__into(R_0041_0007__DIVING_R_0041_0008__INTO)
      & has_arg0(R_0041_0007__DIVING_R_0041_0008__INTO,Z_0041_5004)
      & has_arg1(R_0041_0007__DIVING_R_0041_0008__INTO,R_0041_0009__A_R_0041_0011__WORLD) ) ).