arc(r_0004_0001__A_r_0004_0003__watch, r_0004_0002__mechanical, attrib7).
arc(r_0004_0001__A_r_0004_0003__watch, r_0004_0006__and, r_0004_0004__of).
arc(r_0004_0001__A_r_0004_0003__watch, r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent, r_0004_0008__with).
arc(r_0004_0006__and, r_0004_0005__taste, conj1).
arc(r_0004_0006__and, r_0004_0007__refinement, conj2).
arc(r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent, r_0004_0013__a_r_0004_0014__quartz_r_0004_0015__watch, r_0004_0012__to).
arc(r_0004_0017__this_r_0004_0021__watch, r_0004_0019__and, attrib50).
arc(r_0004_0019__and, r_0004_0018__sophisticated, conj1).
arc(r_0004_0019__and, r_0004_0020__innovative, conj2).
arc(r_0004_0022__ticks, r_0004_0017__this_r_0004_0021__watch, arg0).
arc(r_0004_0022__ticks, r_0004_0024__step, r_0004_0023__in_nim68).
arc(r_0004_0024__step, r_0004_0026__the_r_0004_0027__pace, r_0004_0025__with).
arc(r_0004_0026__the_r_0004_0027__pace, r_0004_0032__life, r_0004_0028__of).
arc(r_0004_0032__life, r_0004_0029__a_r_0004_0030__person_r_0004_0031___apos_s, gen).
arc(z_000_4_a_seiko_9r65_3, r_0004_0001__A_r_0004_0003__watch, prd).
arc(z_000_4_a_seiko_9r65_3, r_0004_0017__this_r_0004_0021__watch, arg0).

fof(formula,axiom,
    ? [R_0004_0018__SOPHISTICATED,R_0004_0020__INNOVATIVE,R_0004_0019__AND,R_0004_0017__THIS_R_0004_0021__WATCH,R_0004_0029__A_R_0004_0030__PERSON_R_0004_0031___APOS_S,R_0004_0032__LIFE,R_0004_0026__THE_R_0004_0027__PACE,R_0004_0024__STEP,R_0004_0022__TICKS,R_0004_0002__MECHANICAL,R_0004_0005__TASTE,R_0004_0007__REFINEMENT,R_0004_0006__AND,R_0004_0013__A_R_0004_0014__QUARTZ_R_0004_0015__WATCH,R_0004_0009__AN_R_0004_0010__ACCURACY_R_0004_0011__EQUIVALENT,R_0004_0001__A_R_0004_0003__WATCH,Z_000_4_A_SEIKO_9R65_3] :
      ( r_0004_0002__mechanical(R_0004_0002__MECHANICAL)
      & r_0004_0005__taste(R_0004_0005__TASTE)
      & r_0004_0007__refinement(R_0004_0007__REFINEMENT)
      & r_0004_0013__a_r_0004_0014__quartz_r_0004_0015__watch(R_0004_0013__A_R_0004_0014__QUARTZ_R_0004_0015__WATCH)
      & r_0004_0018__sophisticated(R_0004_0018__SOPHISTICATED)
      & r_0004_0020__innovative(R_0004_0020__INNOVATIVE)
      & r_0004_0029__a_r_0004_0030__person_r_0004_0031___apos_s(R_0004_0029__A_R_0004_0030__PERSON_R_0004_0031___APOS_S)
      & z_000_4_a_seiko_9r65_3(Z_000_4_A_SEIKO_9R65_3)
      & has_arg0(Z_000_4_A_SEIKO_9R65_3,R_0004_0017__THIS_R_0004_0021__WATCH)
      & r_0004_0017__this_r_0004_0021__watch(R_0004_0017__THIS_R_0004_0021__WATCH)
      & has_attrib50(R_0004_0017__THIS_R_0004_0021__WATCH,R_0004_0019__AND)
      & r_0004_0019__and(R_0004_0019__AND)
      & has_conj2(R_0004_0019__AND,R_0004_0020__INNOVATIVE)
      & has_conj1(R_0004_0019__AND,R_0004_0018__SOPHISTICATED)
      & has_prd(Z_000_4_A_SEIKO_9R65_3,R_0004_0001__A_R_0004_0003__WATCH)
      & r_0004_0001__A_r_0004_0003__watch(R_0004_0001__A_R_0004_0003__WATCH)
      & has_r_0004_0008__with(R_0004_0001__A_R_0004_0003__WATCH,R_0004_0009__AN_R_0004_0010__ACCURACY_R_0004_0011__EQUIVALENT)
      & r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent(R_0004_0009__AN_R_0004_0010__ACCURACY_R_0004_0011__EQUIVALENT)
      & has_r_0004_0012__to(R_0004_0009__AN_R_0004_0010__ACCURACY_R_0004_0011__EQUIVALENT,R_0004_0013__A_R_0004_0014__QUARTZ_R_0004_0015__WATCH)
      & has_r_0004_0004__of(R_0004_0001__A_R_0004_0003__WATCH,R_0004_0006__AND)
      & r_0004_0006__and(R_0004_0006__AND)
      & has_conj2(R_0004_0006__AND,R_0004_0007__REFINEMENT)
      & has_conj1(R_0004_0006__AND,R_0004_0005__TASTE)
      & has_attrib7(R_0004_0001__A_R_0004_0003__WATCH,R_0004_0002__MECHANICAL)
      & r_0004_0022__ticks(R_0004_0022__TICKS)
      & has_r_0004_0023__in_nim68(R_0004_0022__TICKS,R_0004_0024__STEP)
      & r_0004_0024__step(R_0004_0024__STEP)
      & has_r_0004_0025__with(R_0004_0024__STEP,R_0004_0026__THE_R_0004_0027__PACE)
      & r_0004_0026__the_r_0004_0027__pace(R_0004_0026__THE_R_0004_0027__PACE)
      & has_r_0004_0028__of(R_0004_0026__THE_R_0004_0027__PACE,R_0004_0032__LIFE)
      & r_0004_0032__life(R_0004_0032__LIFE)
      & has_gen(R_0004_0032__LIFE,R_0004_0029__A_R_0004_0030__PERSON_R_0004_0031___APOS_S)
      & has_arg0(R_0004_0022__TICKS,R_0004_0017__THIS_R_0004_0021__WATCH) ) ).

( (IP-MAT (NP-SBJ (IP-PPL (NP-PRD (D A;{a})
                                  (ADJP (ADJ mechanical;{mechanical}))
                                  (N watch;{watch})
                                  (PP (P-ROLE of;{of})
                                      (NP (NLYR (NLYR (N taste;{taste}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N refinement;{refinement}))))))
                                  (PP (P-ROLE with;{with})
                                      (NP (D an;{an})
                                          (N accuracy;{accuracy})
                                          (N equivalent;{equivalent})
                                          (PP (P-ROLE to;{to})
                                              (NP (D a;{a})
                                                  (N quartz;{quartz})
                                                  (N watch;{watch})))))))
                  (PUNC ,)
                  (D this;{this})
                  (ADJP (AJLYR (AJLYR (ADJ sophisticated;{sophisticated}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ innovative;{innovative})))))
                  (N watch;{watch}))
          (VBP;_I_ ticks;{tick})
          (PP-NIM (P-ROLE in;{in})
                  (NP (N step;{step})
                      (PP (P-ROLE with;{with})
                          (NP (D the;{the})
                              (N pace;{pace})
                              (PP (P-ROLE of;{of})
                                  (NP (NP-GEN (D a;{a})
                                              (N person;{person})
                                              (GENM <apos>s))
                                      (N life;{life})))))))
          (PUNC .))
  (ID 4_a_seiko_9r65))