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,
    ? [Z_164_A_STUCK_JAPAN_2,R_164_10_COULD_DRIVE,R_164_9_WORKERS,R_164_8_FEWER,R_164_12_INNOVATION,R_164_2_THE_AGE,R_164_6_INTELLIGENCE,R_164_5_ARTIFICIAL,R_164_18_MAY_BE_REPLACED,R_164_23_ROBOTS,R_164_22_INTELLIGENT,R_164_17_FARMERS,R_164_16_AGED,R_164_14_JAPAN_APOS_S] :
      ( fewer(R_164_8_FEWER)
      & innovation(R_164_12_INNOVATION)
      & artificial(R_164_5_ARTIFICIAL)
      & intelligent(R_164_22_INTELLIGENT)
      & aged(R_164_16_AGED)
      & japan_apos_s(R_164_14_JAPAN_APOS_S)
      & z_164_a_stuck_japan_2(Z_164_A_STUCK_JAPAN_2)
      & conj1(Z_164_A_STUCK_JAPAN_2,R_164_10_COULD_DRIVE)
      & could_drive(R_164_10_COULD_DRIVE,R_164_9_WORKERS,R_164_12_INNOVATION)
      & workers(R_164_9_WORKERS)
      & attrib24(R_164_9_WORKERS,R_164_8_FEWER)
      & in_nim7(R_164_10_COULD_DRIVE,R_164_2_THE_AGE)
      & the_age(R_164_2_THE_AGE)
      & of(R_164_2_THE_AGE,R_164_6_INTELLIGENCE)
      & intelligence(R_164_6_INTELLIGENCE)
      & attrib16(R_164_6_INTELLIGENCE,R_164_5_ARTIFICIAL)
      & conj2(Z_164_A_STUCK_JAPAN_2,R_164_18_MAY_BE_REPLACED)
      & may_be_replaced(R_164_18_MAY_BE_REPLACED,R_164_23_ROBOTS,R_164_17_FARMERS)
      & robots(R_164_23_ROBOTS)
      & attrib64(R_164_23_ROBOTS,R_164_22_INTELLIGENT)
      & farmers(R_164_17_FARMERS)
      & attrib47(R_164_17_FARMERS,R_164_16_AGED)
      & gen(R_164_17_FARMERS,R_164_14_JAPAN_APOS_S) ) ).

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