TSPC 51_a_seiko

51_a_seiko_9r65
The IC detects the spinning speed of the glide wheel based on the accuracy of the electric signals of the crystal oscillator, and adjusts the spinning speed of the glide wheel while applying and releasing the electromagnetic brake.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N IC;{ic}))
          (ILYR (ILYR (VBP;_Tn_ detects;{detect})
                      (NP-OB1 (D the;{the})
                              (IP-PPL (VAG;_I_ spinning;{spin}))
                              (N speed;{speed})
                              (PP (P-ROLE of;{of})
                                  (NP;{GLIDE_WHEEL} (D the;{the})
                                                    (N glide;{glide})
                                                    (N wheel;{wheel})))
                              (IP-PPL (NP-LGS *)
                                      (VVN;_phr_Vn.pr_ based;{base[on]})
                                      (PP-CLR (P-ROLE on;{on})
                                              (NP (D the;{the})
                                                  (N accuracy;{accuracy})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D the;{the})
                                                          (ADJP (ADJ electric;{electric}))
                                                          (NS signals;{signal})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (D the;{the})
                                                                  (N crystal;{crystal})
                                                                  (N oscillator;{oscillator}))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_Tn_ adjusts;{adjust})
                             (NP-OB1 (D the;{the})
                                     (IP-PPL (VAG;_I_ spinning;{spin}))
                                     (N speed;{speed})
                                     (PP (P-ROLE of;{of})
                                         (NP;{GLIDE_WHEEL} (D the;{the})
                                                           (N glide;{glide})
                                                           (N wheel;{wheel}))))
                             (PP-SCON (P-CONN while;{while})
                                      (IP-PPL2 (ILYR (ILYR (VAG;_Tn_ applying;{apply}))
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR (VAG;_Tn_ releasing;{release}))))
                                               (NP-OB1 (D the;{the})
                                                       (ADJP (ADJ electromagnetic;{electromagnetic}))
                                                       (NPR brake;{brake})))))))
          (PUNC .))
  (ID 51_a_seiko_9r65))

arc(r_0051_0003__detects,r_0051_0001__The_r_0051_0002__IC,arg0).
arc(r_0051_0003__detects,r_0051_0004__the_r_0051_0006__speed,arg1).
arc(r_0051_0004__the_r_0051_0006__speed,r_0051_0008__the_r_0051_0009__glide_r_0051_0010__wheel,r_0051_0007__of).
arc(r_0051_0005__spinning,r_0051_0004__the_r_0051_0006__speed,inv_arg0).
arc(r_0051_0011__based,r_0051_0004__the_r_0051_0006__speed,inv_arg1).
arc(r_0051_0011__based,r_0051_0013__the_r_0051_0014__accuracy,r_0051_0012__on__clr).
arc(r_0051_0011__based,z_0051_5009___star_,arg0).
arc(r_0051_0013__the_r_0051_0014__accuracy,r_0051_0016__the_r_0051_0018__signals,r_0051_0015__of).
arc(r_0051_0016__the_r_0051_0018__signals,r_0051_0017__electric,attrib).
arc(r_0051_0016__the_r_0051_0018__signals,r_0051_0020__the_r_0051_0021__crystal_r_0051_0022__oscillator,r_0051_0019__of).
arc(r_0051_0024__and,r_0051_0003__detects,conj1).
arc(r_0051_0024__and,r_0051_0033__while,conj2).
arc(r_0051_0025__adjusts,r_0051_0001__The_r_0051_0002__IC,arg0).
arc(r_0051_0025__adjusts,r_0051_0026__the_r_0051_0028__speed,arg1).
arc(r_0051_0026__the_r_0051_0028__speed,r_0051_0008__the_r_0051_0009__glide_r_0051_0010__wheel,r_0051_0029__of).
arc(r_0051_0027__spinning,r_0051_0026__the_r_0051_0028__speed,inv_arg0).
arc(r_0051_0033__while,r_0051_0025__adjusts,scope).
arc(r_0051_0033__while,r_0051_0035__and,restriction).
arc(r_0051_0034__applying,r_0051_0001__The_r_0051_0002__IC,arg0).
arc(r_0051_0034__applying,r_0051_0037__the_r_0051_0039__brake,arg1).
arc(r_0051_0035__and,r_0051_0034__applying,conj1).
arc(r_0051_0035__and,r_0051_0036__releasing,conj2).
arc(r_0051_0036__releasing,r_0051_0001__The_r_0051_0002__IC,arg0).
arc(r_0051_0036__releasing,r_0051_0037__the_r_0051_0039__brake,arg1).
arc(r_0051_0037__the_r_0051_0039__brake,r_0051_0038__electromagnetic,attrib).

fof(formula,axiom,
    ? [R_0051_0001__THE_R_0051_0002__IC,R_0051_0008__THE_R_0051_0009__GLIDE_R_0051_0010__WHEEL,R_0051_0005__SPINNING,R_0051_0017__ELECTRIC,R_0051_0020__THE_R_0051_0021__CRYSTAL_R_0051_0022__OSCILLATOR,R_0051_0016__THE_R_0051_0018__SIGNALS,R_0051_0013__THE_R_0051_0014__ACCURACY,Z_0051_5009___STAR_,R_0051_0011__BASED,R_0051_0004__THE_R_0051_0006__SPEED,R_0051_0003__DETECTS,R_0051_0027__SPINNING,R_0051_0026__THE_R_0051_0028__SPEED,R_0051_0025__ADJUSTS,R_0051_0038__ELECTROMAGNETIC,R_0051_0037__THE_R_0051_0039__BRAKE,R_0051_0034__APPLYING,R_0051_0036__RELEASING,R_0051_0035__AND,R_0051_0033__WHILE,R_0051_0024__AND] :
      ( r_0051_0001__The_r_0051_0002__IC(R_0051_0001__THE_R_0051_0002__IC)
      & r_0051_0005__spinning(R_0051_0005__SPINNING)
      & r_0051_0008__the_r_0051_0009__glide_r_0051_0010__wheel(R_0051_0008__THE_R_0051_0009__GLIDE_R_0051_0010__WHEEL)
      & r_0051_0017__electric(R_0051_0017__ELECTRIC)
      & r_0051_0020__the_r_0051_0021__crystal_r_0051_0022__oscillator(R_0051_0020__THE_R_0051_0021__CRYSTAL_R_0051_0022__OSCILLATOR)
      & r_0051_0027__spinning(R_0051_0027__SPINNING)
      & r_0051_0038__electromagnetic(R_0051_0038__ELECTROMAGNETIC)
      & z_0051_5009___star_(Z_0051_5009___STAR_)
      & r_0051_0024__and(R_0051_0024__AND)
      & has_conj2(R_0051_0024__AND,R_0051_0033__WHILE)
      & r_0051_0033__while(R_0051_0033__WHILE)
      & has_conj1(R_0051_0033__WHILE,R_0051_0035__AND)
      & r_0051_0035__and(R_0051_0035__AND)
      & has_conj2(R_0051_0035__AND,R_0051_0036__RELEASING)
      & r_0051_0036__releasing(R_0051_0036__RELEASING)
      & has_arg1(R_0051_0036__RELEASING,R_0051_0037__THE_R_0051_0039__BRAKE)
      & r_0051_0037__the_r_0051_0039__brake(R_0051_0037__THE_R_0051_0039__BRAKE)
      & has_attrib(R_0051_0037__THE_R_0051_0039__BRAKE,R_0051_0038__ELECTROMAGNETIC)
      & has_arg0(R_0051_0036__RELEASING,R_0051_0001__THE_R_0051_0002__IC)
      & has_conj1(R_0051_0035__AND,R_0051_0034__APPLYING)
      & r_0051_0034__applying(R_0051_0034__APPLYING)
      & has_arg1(R_0051_0034__APPLYING,R_0051_0037__THE_R_0051_0039__BRAKE)
      & has_arg0(R_0051_0034__APPLYING,R_0051_0001__THE_R_0051_0002__IC)
      & has_conj2(R_0051_0033__WHILE,R_0051_0025__ADJUSTS)
      & r_0051_0025__adjusts(R_0051_0025__ADJUSTS)
      & has_arg1(R_0051_0025__ADJUSTS,R_0051_0026__THE_R_0051_0028__SPEED)
      & r_0051_0026__the_r_0051_0028__speed(R_0051_0026__THE_R_0051_0028__SPEED)
      & has_inv_arg0(R_0051_0026__THE_R_0051_0028__SPEED,R_0051_0027__SPINNING)
      & has_r_0051_0029__of(R_0051_0026__THE_R_0051_0028__SPEED,R_0051_0008__THE_R_0051_0009__GLIDE_R_0051_0010__WHEEL)
      & has_arg0(R_0051_0025__ADJUSTS,R_0051_0001__THE_R_0051_0002__IC)
      & has_conj1(R_0051_0024__AND,R_0051_0003__DETECTS)
      & r_0051_0003__detects(R_0051_0003__DETECTS)
      & has_arg1(R_0051_0003__DETECTS,R_0051_0004__THE_R_0051_0006__SPEED)
      & r_0051_0004__the_r_0051_0006__speed(R_0051_0004__THE_R_0051_0006__SPEED)
      & has_inv_arg1(R_0051_0004__THE_R_0051_0006__SPEED,R_0051_0011__BASED)
      & r_0051_0011__based(R_0051_0011__BASED)
      & has_arg0(R_0051_0011__BASED,Z_0051_5009___STAR_)
      & has_r_0051_0012__on__clr(R_0051_0011__BASED,R_0051_0013__THE_R_0051_0014__ACCURACY)
      & r_0051_0013__the_r_0051_0014__accuracy(R_0051_0013__THE_R_0051_0014__ACCURACY)
      & has_r_0051_0015__of(R_0051_0013__THE_R_0051_0014__ACCURACY,R_0051_0016__THE_R_0051_0018__SIGNALS)
      & r_0051_0016__the_r_0051_0018__signals(R_0051_0016__THE_R_0051_0018__SIGNALS)
      & has_r_0051_0019__of(R_0051_0016__THE_R_0051_0018__SIGNALS,R_0051_0020__THE_R_0051_0021__CRYSTAL_R_0051_0022__OSCILLATOR)
      & has_attrib(R_0051_0016__THE_R_0051_0018__SIGNALS,R_0051_0017__ELECTRIC)
      & has_inv_arg0(R_0051_0004__THE_R_0051_0006__SPEED,R_0051_0005__SPINNING)
      & has_r_0051_0007__of(R_0051_0004__THE_R_0051_0006__SPEED,R_0051_0008__THE_R_0051_0009__GLIDE_R_0051_0010__WHEEL)
      & has_arg0(R_0051_0003__DETECTS,R_0051_0001__THE_R_0051_0002__IC) ) ).