TSPC 54_a_seiko

54_a_seiko_9r65
It differs from the mechanical watch only in the speed - regulating unit (mechanism for controlling accuracy).

( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (PRO It;{it}))
          (VBP;_Ipr_ differs;{differ[from]})
          (PP-CLR (P-ROLE from;{from})
                  (NP (D the;{the})
                      (ADJP (ADJ mechanical;{mechanical}))
                      (N watch;{watch})))
          (ADVP-NIM (ADV only;{only}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (IP-PPL (NP-OB1 (N speed;{speed}))
                              (PUNC <hyphen>)
                              (VAG;_I_ regulating;{regulate}))
                      (N unit;{unit})
                      (PULB -LRB-)
                      (PRN (NP (N mechanism;{mechanism})
                               (PP (P-ROLE for;{for})
                                   (IP-PPL (VAG;_Tn_ controlling;{control})
                                           (NP-OB1 (N accuracy;{accuracy}))))))
                      (PURB -RRB-)))
          (PUNC .))
  (ID 54_a_seiko_9r65))

arc(r_0054_0002__differs_r_0054_0003__from,r_0054_0001__It,arg0).
arc(r_0054_0002__differs_r_0054_0003__from,r_0054_0004__the_r_0054_0006__watch,arg1).
arc(r_0054_0002__differs_r_0054_0003__from,r_0054_0007__only,nim).
arc(r_0054_0002__differs_r_0054_0003__from,r_0054_0009__the_r_0054_0013__unit,r_0054_0008__in__nim).
arc(r_0054_0004__the_r_0054_0006__watch,r_0054_0005__mechanical,attrib).
arc(r_0054_0012__regulating,r_0054_0009__the_r_0054_0013__unit,inv_arg0).
arc(r_0054_0012__regulating,r_0054_0010__speed,arg1).
arc(r_0054_0015__mechanism,r_0054_0017__controlling,r_0054_0016__for).
arc(r_0054_0017__controlling,r_0054_0018__accuracy,arg1).
arc(r_0054_0017__controlling,z_0054_5009,arg0).
arc(z_0054_5012,r_0054_0009__the_r_0054_0013__unit,arg0).
arc(z_0054_5012,r_0054_0015__mechanism,prd).

fof(formula,axiom,
    ? [R_0054_0001__IT,R_0054_0005__MECHANICAL,R_0054_0004__THE_R_0054_0006__WATCH,R_0054_0007__ONLY,R_0054_0010__SPEED,R_0054_0012__REGULATING,R_0054_0009__THE_R_0054_0013__UNIT,R_0054_0002__DIFFERS_R_0054_0003__FROM,R_0054_0018__ACCURACY,Z_0054_5009,R_0054_0017__CONTROLLING,R_0054_0015__MECHANISM,Z_0054_5012] :
      ( r_0054_0001__It(R_0054_0001__IT)
      & r_0054_0005__mechanical(R_0054_0005__MECHANICAL)
      & r_0054_0007__only(R_0054_0007__ONLY)
      & r_0054_0010__speed(R_0054_0010__SPEED)
      & r_0054_0018__accuracy(R_0054_0018__ACCURACY)
      & z_0054_5009(Z_0054_5009)
      & z_0054_5012(Z_0054_5012)
      & has_prd(Z_0054_5012,R_0054_0015__MECHANISM)
      & r_0054_0015__mechanism(R_0054_0015__MECHANISM)
      & has_r_0054_0016__for(R_0054_0015__MECHANISM,R_0054_0017__CONTROLLING)
      & r_0054_0017__controlling(R_0054_0017__CONTROLLING)
      & has_arg0(R_0054_0017__CONTROLLING,Z_0054_5009)
      & has_arg1(R_0054_0017__CONTROLLING,R_0054_0018__ACCURACY)
      & has_arg0(Z_0054_5012,R_0054_0009__THE_R_0054_0013__UNIT)
      & r_0054_0009__the_r_0054_0013__unit(R_0054_0009__THE_R_0054_0013__UNIT)
      & has_inv_arg0(R_0054_0009__THE_R_0054_0013__UNIT,R_0054_0012__REGULATING)
      & r_0054_0012__regulating(R_0054_0012__REGULATING)
      & has_arg1(R_0054_0012__REGULATING,R_0054_0010__SPEED)
      & r_0054_0002__differs_r_0054_0003__from(R_0054_0002__DIFFERS_R_0054_0003__FROM)
      & has_r_0054_0008__in__nim(R_0054_0002__DIFFERS_R_0054_0003__FROM,R_0054_0009__THE_R_0054_0013__UNIT)
      & has_nim(R_0054_0002__DIFFERS_R_0054_0003__FROM,R_0054_0007__ONLY)
      & has_arg1(R_0054_0002__DIFFERS_R_0054_0003__FROM,R_0054_0004__THE_R_0054_0006__WATCH)
      & r_0054_0004__the_r_0054_0006__watch(R_0054_0004__THE_R_0054_0006__WATCH)
      & has_attrib(R_0054_0004__THE_R_0054_0006__WATCH,R_0054_0005__MECHANICAL)
      & has_arg0(R_0054_0002__DIFFERS_R_0054_0003__FROM,R_0054_0001__IT) ) ).