( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE In;{in})
                              (NP (D the;{the})
                                  (N age;{age})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ artificial;{artificial}))
                                          (N intelligence;{intelligence})))))
                      (PUNC ,)
                      (NP-SBJ (ADJP (ADJR fewer;{few}))
                              (NS workers;{worker}))
                      (MD;_cat_Vi_ could;{could})
                      (IP-PPL-CAT (VB;_Tn_ drive;{drive})
                                  (NP-OB1 (N innovation;{innovation}))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (NP-GEN (NPR Japan;{Japan})
                                             (GENM <apos>s))
                                     (ADJP (ADJ aged;{aged}))
                                     (NS farmers;{farmer}))
                             (MD;_cat_Vi_ may;{may})
                             (IP-PPL-CAT (BE;_cat_VePASS_ be;{be})
                                         (IP-PPL-CAT (VVN;_Tn_ replaced;{replace})
                                                     (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                             (NP (ADJP (ADJ intelligent;{intelligent}))
                                                                 (NS robots;{robot}))))))))
          (PUNC .))
  (ID 164_a_stuck_japan))

arc(r_0164_0002__the_r_0164_0003__age,r_0164_0006__intelligence,r_0164_0004__of).
arc(r_0164_0006__intelligence,r_0164_0005__artificial,attrib).
arc(r_0164_0009__workers,r_0164_0008__fewer,attrib).
arc(r_0164_0010__could,r_0164_0002__the_r_0164_0003__age,r_0164_0001__In__nim).
arc(r_0164_0010__could,r_0164_0011__drive,scope).
arc(r_0164_0011__drive,r_0164_0009__workers,arg0).
arc(r_0164_0011__drive,r_0164_0012__innovation,arg1).
arc(r_0164_0017__farmers,r_0164_0014__Japan,gen).
arc(r_0164_0017__farmers,r_0164_0016__aged,attrib).
arc(r_0164_0018__may,r_0164_0019__be,scope).
arc(r_0164_0019__be,r_0164_0020__replaced,scope).
arc(r_0164_0020__replaced,r_0164_0017__farmers,arg1).
arc(r_0164_0020__replaced,r_0164_0023__robots,r_0164_0021__by_arg0).
arc(r_0164_0023__robots,r_0164_0022__intelligent,attrib).
arc(z_0164_5001,r_0164_0010__could,conj1).
arc(z_0164_5001,r_0164_0018__may,conj2).

fof(formula,axiom,
    ? [R_0164_0005__ARTIFICIAL,R_0164_0006__INTELLIGENCE,R_0164_0002__THE_R_0164_0003__AGE,R_0164_0008__FEWER,R_0164_0009__WORKERS,R_0164_0012__INNOVATION,R_0164_0010__COULD_R_0164_0011__DRIVE,R_0164_0014__JAPAN,R_0164_0016__AGED,R_0164_0017__FARMERS,R_0164_0022__INTELLIGENT,R_0164_0023__ROBOTS,R_0164_0018__MAY_R_0164_0019__BE_R_0164_0020__REPLACED,Z_0164_5001] :
      ( r_0164_0005__artificial(R_0164_0005__ARTIFICIAL)
      & r_0164_0008__fewer(R_0164_0008__FEWER)
      & r_0164_0012__innovation(R_0164_0012__INNOVATION)
      & r_0164_0014__Japan(R_0164_0014__JAPAN)
      & r_0164_0016__aged(R_0164_0016__AGED)
      & r_0164_0022__intelligent(R_0164_0022__INTELLIGENT)
      & z_0164_5001(Z_0164_5001)
      & has_conj2(Z_0164_5001,R_0164_0018__MAY_R_0164_0019__BE_R_0164_0020__REPLACED)
      & r_0164_0018__may_r_0164_0019__be_r_0164_0020__replaced(R_0164_0018__MAY_R_0164_0019__BE_R_0164_0020__REPLACED)
      & has_r_0164_0021__by_arg0(R_0164_0018__MAY_R_0164_0019__BE_R_0164_0020__REPLACED,R_0164_0023__ROBOTS)
      & r_0164_0023__robots(R_0164_0023__ROBOTS)
      & has_attrib(R_0164_0023__ROBOTS,R_0164_0022__INTELLIGENT)
      & has_arg1(R_0164_0018__MAY_R_0164_0019__BE_R_0164_0020__REPLACED,R_0164_0017__FARMERS)
      & r_0164_0017__farmers(R_0164_0017__FARMERS)
      & has_attrib(R_0164_0017__FARMERS,R_0164_0016__AGED)
      & has_gen(R_0164_0017__FARMERS,R_0164_0014__JAPAN)
      & has_conj1(Z_0164_5001,R_0164_0010__COULD_R_0164_0011__DRIVE)
      & r_0164_0010__could_r_0164_0011__drive(R_0164_0010__COULD_R_0164_0011__DRIVE)
      & has_arg1(R_0164_0010__COULD_R_0164_0011__DRIVE,R_0164_0012__INNOVATION)
      & has_arg0(R_0164_0010__COULD_R_0164_0011__DRIVE,R_0164_0009__WORKERS)
      & r_0164_0009__workers(R_0164_0009__WORKERS)
      & has_attrib(R_0164_0009__WORKERS,R_0164_0008__FEWER)
      & has_r_0164_0001__In__nim(R_0164_0010__COULD_R_0164_0011__DRIVE,R_0164_0002__THE_R_0164_0003__AGE)
      & r_0164_0002__the_r_0164_0003__age(R_0164_0002__THE_R_0164_0003__AGE)
      & has_r_0164_0004__of(R_0164_0002__THE_R_0164_0003__AGE,R_0164_0006__INTELLIGENCE)
      & r_0164_0006__intelligence(R_0164_0006__INTELLIGENCE)
      & has_attrib(R_0164_0006__INTELLIGENCE,R_0164_0005__ARTIFICIAL) ) ).