TSPC 24_a_seiko

24_a_seiko_9r65
The Spring Drive is a self-contained drive system that realizes accuracy equivalent to a quartz watch with only the power of the mainspring and has no battery, motor, or secondary battery.

( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (D The;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ self_<hyphen>_contained;{self_contained}))
                  (N drive;{drive})
                  (N system;{system})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (ILYR (ILYR (VBP;_Tn_ realizes;{realize})
                                      (NP-OB1 (N accuracy;{accuracy})
                                              (ADJP (ADJ equivalent;{equivalent})
                                                    (PP (P-ROLE to;{to})
                                                        (NP (D a;{a})
                                                            (N quartz;{quartz})
                                                            (N watch;{watch})))))
                                      (PP-NIM (P-ROLE with;{with})
                                              (NP (ADVP (ADV only;{only}))
                                                  (D the;{the})
                                                  (N power;{power})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D the;{the})
                                                          (N mainspring;{mainspring}))))))
                                (CONJP (CONJ and;{and})
                                       (ILYR (HVP;_Tn_ has;{have})
                                             (NP-OB1 (Q no;{no})
                                                     (NLYR (NLYR (N battery;{battery}))
                                                           (PUNC ,)
                                                           (CONJP (NLYR (N motor;{motor})))
                                                           (PUNC ,)
                                                           (CONJP (CONJ or;{or})
                                                                  (NLYR (ADJP (ADJ secondary;{secondary}))
                                                                        (N battery;{battery}))))))))))
          (PUNC .))
  (ID 24_a_seiko_9r65))

arc(r_0024_0004__is,r_0024_0001__The_r_0024_0002__Spring_r_0024_0003__Drive,arg0).
arc(r_0024_0004__is,r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system,prd).
arc(r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system,r_0024_0006__self__hyphen__contained,attrib).
arc(r_0024_0010__realizes,r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system,inv_arg0).
arc(r_0024_0010__realizes,r_0024_0011__accuracy,arg1).
arc(r_0024_0010__realizes,r_0024_0019__the_r_0024_0020__power,r_0024_0017__with__nim).
arc(r_0024_0011__accuracy,r_0024_0012__equivalent,attrib).
arc(r_0024_0012__equivalent,r_0024_0014__a_r_0024_0015__quartz_r_0024_0016__watch,r_0024_0013__to).
arc(r_0024_0019__the_r_0024_0020__power,r_0024_0018__only,qual).
arc(r_0024_0019__the_r_0024_0020__power,r_0024_0022__the_r_0024_0023__mainspring,r_0024_0021__of).
arc(r_0024_0024__and,r_0024_0010__realizes,conj1).
arc(r_0024_0024__and,r_0024_0026__no__quant,conj2).
arc(r_0024_0025__has,r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system,inv_arg0).
arc(r_0024_0025__has,r_0024_0031__or,arg1).
arc(r_0024_0026__no__quant,r_0024_0025__has,scope).
arc(r_0024_0026__no__quant,r_0024_0031__or,restriction).
arc(r_0024_0031__or,r_0024_0027__battery,conj1).
arc(r_0024_0031__or,r_0024_0029__motor,conj2).
arc(r_0024_0031__or,r_0024_0033__battery,conj3).
arc(r_0024_0033__battery,r_0024_0032__secondary,attrib).

fof(formula,axiom,
    ? [R_0024_0001__THE_R_0024_0002__SPRING_R_0024_0003__DRIVE,R_0024_0006__SELF__HYPHEN__CONTAINED,R_0024_0014__A_R_0024_0015__QUARTZ_R_0024_0016__WATCH,R_0024_0012__EQUIVALENT,R_0024_0011__ACCURACY,R_0024_0018__ONLY,R_0024_0022__THE_R_0024_0023__MAINSPRING,R_0024_0019__THE_R_0024_0020__POWER,R_0024_0010__REALIZES,R_0024_0027__BATTERY,R_0024_0029__MOTOR,R_0024_0032__SECONDARY,R_0024_0033__BATTERY,R_0024_0031__OR,R_0024_0025__HAS,R_0024_0005__A_R_0024_0007__DRIVE_R_0024_0008__SYSTEM,R_0024_0004__IS,R_0024_0024__AND] :
      ( r_0024_0001__The_r_0024_0002__Spring_r_0024_0003__Drive(R_0024_0001__THE_R_0024_0002__SPRING_R_0024_0003__DRIVE)
      & r_0024_0006__self__hyphen__contained(R_0024_0006__SELF__HYPHEN__CONTAINED)
      & r_0024_0014__a_r_0024_0015__quartz_r_0024_0016__watch(R_0024_0014__A_R_0024_0015__QUARTZ_R_0024_0016__WATCH)
      & r_0024_0018__only(R_0024_0018__ONLY)
      & r_0024_0022__the_r_0024_0023__mainspring(R_0024_0022__THE_R_0024_0023__MAINSPRING)
      & r_0024_0027__battery(R_0024_0027__BATTERY)
      & r_0024_0029__motor(R_0024_0029__MOTOR)
      & r_0024_0032__secondary(R_0024_0032__SECONDARY)
      & r_0024_0024__and(R_0024_0024__AND)
      & ( r_0024_0031__or(R_0024_0031__OR)
       => r_0024_0025__has(R_0024_0025__HAS) )
      & has_conj1(R_0024_0024__AND,R_0024_0010__REALIZES)
      & r_0024_0010__realizes(R_0024_0010__REALIZES)
      & has_r_0024_0017__with__nim(R_0024_0010__REALIZES,R_0024_0019__THE_R_0024_0020__POWER)
      & r_0024_0019__the_r_0024_0020__power(R_0024_0019__THE_R_0024_0020__POWER)
      & has_r_0024_0021__of(R_0024_0019__THE_R_0024_0020__POWER,R_0024_0022__THE_R_0024_0023__MAINSPRING)
      & has_qual(R_0024_0019__THE_R_0024_0020__POWER,R_0024_0018__ONLY)
      & has_arg1(R_0024_0010__REALIZES,R_0024_0011__ACCURACY)
      & r_0024_0011__accuracy(R_0024_0011__ACCURACY)
      & has_attrib(R_0024_0011__ACCURACY,R_0024_0012__EQUIVALENT)
      & r_0024_0012__equivalent(R_0024_0012__EQUIVALENT)
      & has_r_0024_0013__to(R_0024_0012__EQUIVALENT,R_0024_0014__A_R_0024_0015__QUARTZ_R_0024_0016__WATCH)
      & r_0024_0004__is(R_0024_0004__IS)
      & has_prd(R_0024_0004__IS,R_0024_0005__A_R_0024_0007__DRIVE_R_0024_0008__SYSTEM)
      & r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system(R_0024_0005__A_R_0024_0007__DRIVE_R_0024_0008__SYSTEM)
      & has_inv_arg0(R_0024_0005__A_R_0024_0007__DRIVE_R_0024_0008__SYSTEM,R_0024_0025__HAS)
      & r_0024_0025__has(R_0024_0025__HAS)
      & has_arg1(R_0024_0025__HAS,R_0024_0031__OR)
      & r_0024_0031__or(R_0024_0031__OR)
      & has_conj3(R_0024_0031__OR,R_0024_0033__BATTERY)
      & r_0024_0033__battery(R_0024_0033__BATTERY)
      & has_attrib(R_0024_0033__BATTERY,R_0024_0032__SECONDARY)
      & has_conj2(R_0024_0031__OR,R_0024_0029__MOTOR)
      & has_conj1(R_0024_0031__OR,R_0024_0027__BATTERY)
      & has_inv_arg0(R_0024_0005__A_R_0024_0007__DRIVE_R_0024_0008__SYSTEM,R_0024_0010__REALIZES)
      & has_attrib(R_0024_0005__A_R_0024_0007__DRIVE_R_0024_0008__SYSTEM,R_0024_0006__SELF__HYPHEN__CONTAINED)
      & has_arg0(R_0024_0004__IS,R_0024_0001__THE_R_0024_0002__SPRING_R_0024_0003__DRIVE) ) ).