TSPC 38_a_seiko

38_a_seiko_9r65
In addition, by making the energy transfer of the train wheel efficient and adopting an IC that drives with low power consumption, power reserve of more than 72 hours far exceeding normal mechanical watches is realized.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N addition;{addition})))
          (PUNC ,)
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL3 (ILYR (ILYR (VAG;_Cn.a_ making;{make})
                                        (NP-OB1 (D the;{the})
                                                (N energy;{energy})
                                                (N transfer;{transfer})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (N train;{train})
                                                        (N wheel;{wheel}))))
                                        (ADJP-PRD (ADJ efficient;{efficient})))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VAG;_Tn_ adopting;{adopt})
                                               (NP-OB1 (D an;{an})
                                                       (N IC;{ic})
                                                       (IP-REL (C that;{that})
                                                               (NP-SBJ *T*)
                                                               (VBP;_I_ drives;{drive})
                                                               (PP-NIM (P-ROLE with;{with})
                                                                       (NP (ADJP (ADJ low;{low}))
                                                                           (N power;{power})
                                                                           (N consumption;{consumption}))))))))))
          (PUNC ,)
          (NP-SBJ (N power;{power})
                  (N reserve;{reserve})
                  (PP (P-ROLE of;{of})
                      (ADJP (ADJR more;{more})
                            (PP (P-ROLE than;{than})
                                (NP (NUM 72)
                                    (NS hours;{hour})))))
                  (IP-PPL (ADVP-NIM (ADV far;{far}))
                          (VAG;_Tn_ exceeding;{exceed})
                          (NP-OB1 (ADJP (ADJ normal;{normal}))
                                  (ADJP (ADJ mechanical;{mechanical}))
                                  (NS watches;{watch}))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ realized;{realize}))
          (PUNC .))
  (ID 38_a_seiko_9r65))

arc(r_0038_0004__by,r_0038_0014__and,restriction).
arc(r_0038_0004__by,r_0038_0037__is,scope).
arc(r_0038_0005__making,r_0038_0006__the_r_0038_0007__energy_r_0038_0008__transfer,arg1).
arc(r_0038_0005__making,r_0038_0013__efficient,prd).
arc(r_0038_0005__making,z_0038_5004,arg0).
arc(r_0038_0006__the_r_0038_0007__energy_r_0038_0008__transfer,r_0038_0010__the_r_0038_0011__train_r_0038_0012__wheel,r_0038_0009__of).
arc(r_0038_0014__and,r_0038_0005__making,conj1).
arc(r_0038_0014__and,r_0038_0015__adopting,conj2).
arc(r_0038_0015__adopting,r_0038_0016__an_r_0038_0017__IC,arg1).
arc(r_0038_0015__adopting,z_0038_5004,arg0).
arc(r_0038_0019__drives,r_0038_0016__an_r_0038_0017__IC,inv_arg0).
arc(r_0038_0019__drives,r_0038_0022__power_r_0038_0023__consumption,r_0038_0020__with__nim).
arc(r_0038_0022__power_r_0038_0023__consumption,r_0038_0021__low,attrib).
arc(r_0038_0025__power_r_0038_0026__reserve,r_0038_0028__more,r_0038_0027__of).
arc(r_0038_0028__more,r_0038_0030__72_r_0038_0031__hours,r_0038_0029__than).
arc(r_0038_0033__exceeding,r_0038_0025__power_r_0038_0026__reserve,inv_arg0).
arc(r_0038_0033__exceeding,r_0038_0032__far,nim).
arc(r_0038_0033__exceeding,r_0038_0036__watches,arg1).
arc(r_0038_0036__watches,r_0038_0034__normal,attrib).
arc(r_0038_0036__watches,r_0038_0035__mechanical,attrib).
arc(r_0038_0037__is,r_0038_0002__addition,r_0038_0001__In__nim).
arc(r_0038_0037__is,r_0038_0038__realized,scope).
arc(r_0038_0038__realized,r_0038_0025__power_r_0038_0026__reserve,arg1).
arc(r_0038_0038__realized,z_0038_5024___star_,arg0).

fof(formula,axiom,
    ? [R_0038_0010__THE_R_0038_0011__TRAIN_R_0038_0012__WHEEL,R_0038_0006__THE_R_0038_0007__ENERGY_R_0038_0008__TRANSFER,R_0038_0013__EFFICIENT,Z_0038_5004,R_0038_0005__MAKING,R_0038_0021__LOW,R_0038_0022__POWER_R_0038_0023__CONSUMPTION,R_0038_0019__DRIVES,R_0038_0016__AN_R_0038_0017__IC,R_0038_0015__ADOPTING,R_0038_0014__AND,R_0038_0002__ADDITION,R_0038_0030__72_R_0038_0031__HOURS,R_0038_0028__MORE,R_0038_0032__FAR,R_0038_0034__NORMAL,R_0038_0035__MECHANICAL,R_0038_0036__WATCHES,R_0038_0033__EXCEEDING,R_0038_0025__POWER_R_0038_0026__RESERVE,Z_0038_5024___STAR_,R_0038_0037__IS_R_0038_0038__REALIZED,R_0038_0004__BY] :
      ( r_0038_0002__addition(R_0038_0002__ADDITION)
      & r_0038_0010__the_r_0038_0011__train_r_0038_0012__wheel(R_0038_0010__THE_R_0038_0011__TRAIN_R_0038_0012__WHEEL)
      & r_0038_0013__efficient(R_0038_0013__EFFICIENT)
      & r_0038_0021__low(R_0038_0021__LOW)
      & r_0038_0030__72_r_0038_0031__hours(R_0038_0030__72_R_0038_0031__HOURS)
      & r_0038_0032__far(R_0038_0032__FAR)
      & r_0038_0034__normal(R_0038_0034__NORMAL)
      & r_0038_0035__mechanical(R_0038_0035__MECHANICAL)
      & z_0038_5004(Z_0038_5004)
      & z_0038_5024___star_(Z_0038_5024___STAR_)
      & r_0038_0004__by(R_0038_0004__BY)
      & has_conj2(R_0038_0004__BY,R_0038_0037__IS_R_0038_0038__REALIZED)
      & r_0038_0037__is_r_0038_0038__realized(R_0038_0037__IS_R_0038_0038__REALIZED)
      & has_arg0(R_0038_0037__IS_R_0038_0038__REALIZED,Z_0038_5024___STAR_)
      & has_arg1(R_0038_0037__IS_R_0038_0038__REALIZED,R_0038_0025__POWER_R_0038_0026__RESERVE)
      & r_0038_0025__power_r_0038_0026__reserve(R_0038_0025__POWER_R_0038_0026__RESERVE)
      & has_inv_arg0(R_0038_0025__POWER_R_0038_0026__RESERVE,R_0038_0033__EXCEEDING)
      & r_0038_0033__exceeding(R_0038_0033__EXCEEDING)
      & has_arg1(R_0038_0033__EXCEEDING,R_0038_0036__WATCHES)
      & r_0038_0036__watches(R_0038_0036__WATCHES)
      & has_attrib(R_0038_0036__WATCHES,R_0038_0035__MECHANICAL)
      & has_attrib(R_0038_0036__WATCHES,R_0038_0034__NORMAL)
      & has_nim(R_0038_0033__EXCEEDING,R_0038_0032__FAR)
      & has_r_0038_0027__of(R_0038_0025__POWER_R_0038_0026__RESERVE,R_0038_0028__MORE)
      & r_0038_0028__more(R_0038_0028__MORE)
      & has_r_0038_0029__than(R_0038_0028__MORE,R_0038_0030__72_R_0038_0031__HOURS)
      & has_r_0038_0001__In__nim(R_0038_0037__IS_R_0038_0038__REALIZED,R_0038_0002__ADDITION)
      & has_conj1(R_0038_0004__BY,R_0038_0014__AND)
      & r_0038_0014__and(R_0038_0014__AND)
      & has_conj2(R_0038_0014__AND,R_0038_0015__ADOPTING)
      & r_0038_0015__adopting(R_0038_0015__ADOPTING)
      & has_arg0(R_0038_0015__ADOPTING,Z_0038_5004)
      & has_arg1(R_0038_0015__ADOPTING,R_0038_0016__AN_R_0038_0017__IC)
      & r_0038_0016__an_r_0038_0017__IC(R_0038_0016__AN_R_0038_0017__IC)
      & has_inv_arg0(R_0038_0016__AN_R_0038_0017__IC,R_0038_0019__DRIVES)
      & r_0038_0019__drives(R_0038_0019__DRIVES)
      & has_r_0038_0020__with__nim(R_0038_0019__DRIVES,R_0038_0022__POWER_R_0038_0023__CONSUMPTION)
      & r_0038_0022__power_r_0038_0023__consumption(R_0038_0022__POWER_R_0038_0023__CONSUMPTION)
      & has_attrib(R_0038_0022__POWER_R_0038_0023__CONSUMPTION,R_0038_0021__LOW)
      & has_conj1(R_0038_0014__AND,R_0038_0005__MAKING)
      & r_0038_0005__making(R_0038_0005__MAKING)
      & has_arg0(R_0038_0005__MAKING,Z_0038_5004)
      & has_prd(R_0038_0005__MAKING,R_0038_0013__EFFICIENT)
      & has_arg1(R_0038_0005__MAKING,R_0038_0006__THE_R_0038_0007__ENERGY_R_0038_0008__TRANSFER)
      & r_0038_0006__the_r_0038_0007__energy_r_0038_0008__transfer(R_0038_0006__THE_R_0038_0007__ENERGY_R_0038_0008__TRANSFER)
      & has_r_0038_0009__of(R_0038_0006__THE_R_0038_0007__ENERGY_R_0038_0008__TRANSFER,R_0038_0010__THE_R_0038_0011__TRAIN_R_0038_0012__WHEEL) ) ).