TSPC 54_a_seiko

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

arc(r_0054_0002__differs, r_0054_0001__It, arg0).
arc(r_0054_0002__differs, r_0054_0004__the_r_0054_0006__watch, r_0054_0003__from_clr10).
arc(r_0054_0002__differs, r_0054_0007__only, nim18).
arc(r_0054_0002__differs, r_0054_0009__the_r_0054_0013__unit, r_0054_0008__in_nim24).
arc(r_0054_0004__the_r_0054_0006__watch, r_0054_0005__mechanical, attrib13).
arc(r_0054_0012__regulating, r_0054_0009__the_r_0054_0013__unit, 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_000_54_a_seiko_9r65_46, arg0).
arc(z_000_54_a_seiko_9r65_39, r_0054_0009__the_r_0054_0013__unit, arg0).
arc(z_000_54_a_seiko_9r65_39, 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_0009__THE_R_0054_0013__UNIT,R_0054_0002__DIFFERS,R_0054_0010__SPEED,R_0054_0012__REGULATING,R_0054_0018__ACCURACY,Z_000_54_A_SEIKO_9R65_46,R_0054_0017__CONTROLLING,R_0054_0015__MECHANISM,Z_000_54_A_SEIKO_9R65_39] :
      ( 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_0009__the_r_0054_0013__unit(R_0054_0009__THE_R_0054_0013__UNIT)
      & r_0054_0010__speed(R_0054_0010__SPEED)
      & r_0054_0018__accuracy(R_0054_0018__ACCURACY)
      & z_000_54_a_seiko_9r65_46(Z_000_54_A_SEIKO_9R65_46)
      & z_000_54_a_seiko_9r65_39(Z_000_54_A_SEIKO_9R65_39)
      & has_prd(Z_000_54_A_SEIKO_9R65_39,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_000_54_A_SEIKO_9R65_46)
      & has_arg1(R_0054_0017__CONTROLLING,R_0054_0018__ACCURACY)
      & has_arg0(Z_000_54_A_SEIKO_9R65_39,R_0054_0009__THE_R_0054_0013__UNIT)
      & r_0054_0012__regulating(R_0054_0012__REGULATING)
      & has_arg1(R_0054_0012__REGULATING,R_0054_0010__SPEED)
      & has_arg0(R_0054_0012__REGULATING,R_0054_0009__THE_R_0054_0013__UNIT)
      & r_0054_0002__differs(R_0054_0002__DIFFERS)
      & has_r_0054_0008__in_nim24(R_0054_0002__DIFFERS,R_0054_0009__THE_R_0054_0013__UNIT)
      & has_nim18(R_0054_0002__DIFFERS,R_0054_0007__ONLY)
      & has_r_0054_0003__from_clr10(R_0054_0002__DIFFERS,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_attrib13(R_0054_0004__THE_R_0054_0006__WATCH,R_0054_0005__MECHANICAL)
      & has_arg0(R_0054_0002__DIFFERS,R_0054_0001__IT) ) ).

( (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-)
                      (IP-PPL (NP-PRD (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))