TSPC 69_a_seiko

69_a_seiko_9r65
Parts that become worn or severely damaged are the balance, pallet fork, and escape wheel <amp> pinion which are collectively called the speed - regulating unit or escapement.

( (IP-MAT (NP-SBJ;{PARTS} (NS Parts;{part})
                          (IP-REL (C that;{that})
                                  (NP-SBJ *T*)
                                  (VBP;_La_ become;{become})
                                  (ADJP-PRD (AJLYR (AJLYR (ADJ worn;{worn}))
                                                   (CONJP (CONJ or;{or})
                                                          (AJLYR (ADVP (ADV severely;{severely}))
                                                                 (ADJ damaged;{damaged})))))))
          (BEP;_Ln_ are;{be})
          (NP-PRD (D the;{the})
                  (NLYR (NLYR (N balance;{balance}))
                        (PUNC ,)
                        (CONJP (NLYR (N pallet;{pallet})
                                     (N fork;{fork})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NLYR (NLYR (N escape;{escape})
                                                 (N wheel;{wheel}))
                                           (CONJP (CONJ <amp>)
                                                  (NLYR (N pinion;{pinion})))))))
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (BEP;_cat_VePASS_ are;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (ADVP-NIM (ADV collectively;{collectively}))
                                      (VVN;_Cn.n_ called;{call})
                                      (NP-PRD (D the;{the})
                                              (NLYR (NLYR (ADJP (NP (N speed;{speed}))
                                                                (PUNC <hyphen>)
                                                                (ADJ regulating;{regulating}))
                                                          (N unit;{unit}))
                                                    (CONJP (CONJ or;{or})
                                                           (NLYR (N escapement;{escapement}))))))))
          (PUNC .))
  (ID 69_a_seiko_9r65))

arc(r_0069_0003__become,r_0069_0001__Parts,inv_arg0).
arc(r_0069_0003__become,r_0069_0005__or,prd).
arc(r_0069_0005__or,r_0069_0004__worn,conj1).
arc(r_0069_0005__or,r_0069_0007__damaged,conj2).
arc(r_0069_0007__damaged,r_0069_0006__severely,qual).
arc(r_0069_0008__are,r_0069_0001__Parts,arg0).
arc(r_0069_0008__are,r_0069_0009__the_r_0069_0010__balance_r_0069_0012__pallet_r_0069_0013__fork_r_0069_0015__and_r_0069_0016__escape_r_0069_0017__wheel_r_0069_0018___amp__r_0069_0019__pinion,prd).
arc(r_0069_0021__are,r_0069_0023__called,scope).
arc(r_0069_0023__called,r_0069_0009__the_r_0069_0010__balance_r_0069_0012__pallet_r_0069_0013__fork_r_0069_0015__and_r_0069_0016__escape_r_0069_0017__wheel_r_0069_0018___amp__r_0069_0019__pinion,arg1).
arc(r_0069_0023__called,r_0069_0022__collectively,nim).
arc(r_0069_0023__called,r_0069_0024__the_r_0069_0025__speed_r_0069_0027__regulating_r_0069_0028__unit_r_0069_0029__or_r_0069_0030__escapement,prd).
arc(r_0069_0023__called,z_0069_5011___star_,arg0).

fof(formula,axiom,
    ? [R_0069_0004__WORN,R_0069_0006__SEVERELY,R_0069_0007__DAMAGED,R_0069_0005__OR,R_0069_0003__BECOME,R_0069_0001__PARTS,R_0069_0009__THE_R_0069_0010__BALANCE_R_0069_0012__PALLET_R_0069_0013__FORK_R_0069_0015__AND_R_0069_0016__ESCAPE_R_0069_0017__WHEEL_R_0069_0018___AMP__R_0069_0019__PINION,R_0069_0008__ARE,R_0069_0022__COLLECTIVELY,R_0069_0024__THE_R_0069_0025__SPEED_R_0069_0027__REGULATING_R_0069_0028__UNIT_R_0069_0029__OR_R_0069_0030__ESCAPEMENT,Z_0069_5011___STAR_,R_0069_0021__ARE_R_0069_0023__CALLED] :
      ( r_0069_0004__worn(R_0069_0004__WORN)
      & r_0069_0006__severely(R_0069_0006__SEVERELY)
      & r_0069_0009__the_r_0069_0010__balance_r_0069_0012__pallet_r_0069_0013__fork_r_0069_0015__and_r_0069_0016__escape_r_0069_0017__wheel_r_0069_0018___amp__r_0069_0019__pinion(R_0069_0009__THE_R_0069_0010__BALANCE_R_0069_0012__PALLET_R_0069_0013__FORK_R_0069_0015__AND_R_0069_0016__ESCAPE_R_0069_0017__WHEEL_R_0069_0018___AMP__R_0069_0019__PINION)
      & r_0069_0022__collectively(R_0069_0022__COLLECTIVELY)
      & r_0069_0024__the_r_0069_0025__speed_r_0069_0027__regulating_r_0069_0028__unit_r_0069_0029__or_r_0069_0030__escapement(R_0069_0024__THE_R_0069_0025__SPEED_R_0069_0027__REGULATING_R_0069_0028__UNIT_R_0069_0029__OR_R_0069_0030__ESCAPEMENT)
      & z_0069_5011___star_(Z_0069_5011___STAR_)
      & r_0069_0021__are_r_0069_0023__called(R_0069_0021__ARE_R_0069_0023__CALLED)
      & has_arg0(R_0069_0021__ARE_R_0069_0023__CALLED,Z_0069_5011___STAR_)
      & has_prd(R_0069_0021__ARE_R_0069_0023__CALLED,R_0069_0024__THE_R_0069_0025__SPEED_R_0069_0027__REGULATING_R_0069_0028__UNIT_R_0069_0029__OR_R_0069_0030__ESCAPEMENT)
      & has_nim(R_0069_0021__ARE_R_0069_0023__CALLED,R_0069_0022__COLLECTIVELY)
      & has_arg1(R_0069_0021__ARE_R_0069_0023__CALLED,R_0069_0009__THE_R_0069_0010__BALANCE_R_0069_0012__PALLET_R_0069_0013__FORK_R_0069_0015__AND_R_0069_0016__ESCAPE_R_0069_0017__WHEEL_R_0069_0018___AMP__R_0069_0019__PINION)
      & r_0069_0008__are(R_0069_0008__ARE)
      & has_prd(R_0069_0008__ARE,R_0069_0009__THE_R_0069_0010__BALANCE_R_0069_0012__PALLET_R_0069_0013__FORK_R_0069_0015__AND_R_0069_0016__ESCAPE_R_0069_0017__WHEEL_R_0069_0018___AMP__R_0069_0019__PINION)
      & has_arg0(R_0069_0008__ARE,R_0069_0001__PARTS)
      & r_0069_0001__Parts(R_0069_0001__PARTS)
      & has_inv_arg0(R_0069_0001__PARTS,R_0069_0003__BECOME)
      & r_0069_0003__become(R_0069_0003__BECOME)
      & has_prd(R_0069_0003__BECOME,R_0069_0005__OR)
      & r_0069_0005__or(R_0069_0005__OR)
      & has_conj2(R_0069_0005__OR,R_0069_0007__DAMAGED)
      & r_0069_0007__damaged(R_0069_0007__DAMAGED)
      & has_qual(R_0069_0007__DAMAGED,R_0069_0006__SEVERELY)
      & has_conj1(R_0069_0005__OR,R_0069_0004__WORN) ) ).