TSPC 4_a_seiko

4_a_seiko_9r65
A mechanical watch of taste and refinement with an accuracy equivalent to a quartz watch, this sophisticated and innovative watch ticks in step with the pace of a person's life.

( (IP-MAT (NP-SBJ (PRN (NP (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))

arc(r_0004_0001__A_r_0004_0003__watch,r_0004_0002__mechanical,attrib).
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,attrib).
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__nim).
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,gen).
arc(z_0004_5009,r_0004_0001__A_r_0004_0003__watch,prd).
arc(z_0004_5009,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_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_0004_5009] :
      ( 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_0029__A_R_0004_0030__PERSON)
      & z_0004_5009(Z_0004_5009)
      & has_arg0(Z_0004_5009,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_attrib(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_0004_5009,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_attrib(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__nim(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)
      & has_arg0(R_0004_0022__TICKS,R_0004_0017__THIS_R_0004_0021__WATCH) ) ).