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, attrib16).
arc(r_0164_0009__workers, r_0164_0008__fewer, attrib24).
arc(r_0164_0010__could, r_0164_0002__the_r_0164_0003__age, r_0164_0001__In_nim7).
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_r_0164_0015___apos_s, gen).
arc(r_0164_0017__farmers, r_0164_0016__aged, attrib47).
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, arg0).
arc(r_0164_0023__robots, r_0164_0022__intelligent, attrib64).
arc(z_000_164_a_stuck_japan_2, r_0164_0010__could, conj1).
arc(z_000_164_a_stuck_japan_2, 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_0015___APOS_S,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_000_164_A_STUCK_JAPAN_2] :
      ( 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_0015___apos_s(R_0164_0014__JAPAN_R_0164_0015___APOS_S)
      & r_0164_0016__aged(R_0164_0016__AGED)
      & r_0164_0022__intelligent(R_0164_0022__INTELLIGENT)
      & z_000_164_a_stuck_japan_2(Z_000_164_A_STUCK_JAPAN_2)
      & has_conj2(Z_000_164_A_STUCK_JAPAN_2,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_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_attrib64(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_attrib47(R_0164_0017__FARMERS,R_0164_0016__AGED)
      & has_gen(R_0164_0017__FARMERS,R_0164_0014__JAPAN_R_0164_0015___APOS_S)
      & has_conj1(Z_000_164_A_STUCK_JAPAN_2,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_attrib24(R_0164_0009__WORKERS,R_0164_0008__FEWER)
      & has_r_0164_0001__In_nim7(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_attrib16(R_0164_0006__INTELLIGENCE,R_0164_0005__ARTIFICIAL) ) ).

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