TSPC 39_a_seiko

39_a_seiko_9r65
An unprecedented drive system which offers quartz accuracy. This is the Spring Drive.

( (IP-MAT (NP-DSC;{UNPRECEDENTED_SYSTEM} (D An;{an})
                                         (ADJP (ADJ unprecedented;{unprecedented}))
                                         (N drive;{drive})
                                         (N system;{system})
                                         (IP-REL (NP-SBJ (RPRO which;{which}))
                                                 (VBP;_Tn_ offers;{offer})
                                                 (NP-OB1 (N quartz;{quartz})
                                                         (N accuracy;{accuracy}))))
          (PUNC .)
          (NP-SBJ;{UNPRECEDENTED_SYSTEM} (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD;{SPRING_DRIVE} (D the;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (PUNC .))
  (ID 39_a_seiko_9r65))

arc(r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system,r_0039_0002__unprecedented,attrib).
arc(r_0039_0006__offers,r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system,arg0).
arc(r_0039_0006__offers,r_0039_0007__quartz_r_0039_0008__accuracy,arg1).
arc(r_0039_0011__is,r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system,arg0).
arc(r_0039_0011__is,r_0039_0012__the_r_0039_0013__Spring_r_0039_0014__Drive,prd).

fof(formula,axiom,
    ? [R_0039_0002__UNPRECEDENTED,R_0039_0001__AN_R_0039_0003__DRIVE_R_0039_0004__SYSTEM,R_0039_0007__QUARTZ_R_0039_0008__ACCURACY,R_0039_0006__OFFERS,R_0039_0012__THE_R_0039_0013__SPRING_R_0039_0014__DRIVE,R_0039_0011__IS] :
      ( r_0039_0002__unprecedented(R_0039_0002__UNPRECEDENTED)
      & r_0039_0007__quartz_r_0039_0008__accuracy(R_0039_0007__QUARTZ_R_0039_0008__ACCURACY)
      & r_0039_0012__the_r_0039_0013__Spring_r_0039_0014__Drive(R_0039_0012__THE_R_0039_0013__SPRING_R_0039_0014__DRIVE)
      & r_0039_0011__is(R_0039_0011__IS)
      & has_prd(R_0039_0011__IS,R_0039_0012__THE_R_0039_0013__SPRING_R_0039_0014__DRIVE)
      & has_arg0(R_0039_0011__IS,R_0039_0001__AN_R_0039_0003__DRIVE_R_0039_0004__SYSTEM)
      & r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system(R_0039_0001__AN_R_0039_0003__DRIVE_R_0039_0004__SYSTEM)
      & has_attrib(R_0039_0001__AN_R_0039_0003__DRIVE_R_0039_0004__SYSTEM,R_0039_0002__UNPRECEDENTED)
      & r_0039_0006__offers(R_0039_0006__OFFERS)
      & has_arg1(R_0039_0006__OFFERS,R_0039_0007__QUARTZ_R_0039_0008__ACCURACY)
      & has_arg0(R_0039_0006__OFFERS,R_0039_0001__AN_R_0039_0003__DRIVE_R_0039_0004__SYSTEM) ) ).