arc(r_0069_0002__that_r_0069_0003__become, r_0069_0001__Parts, arg0).
arc(r_0069_0002__that_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, qual21).
arc(r_0069_0008__are, r_0069_0001__Parts, arg0).
arc(r_0069_0008__are, r_0069_0015__and, prd).
arc(r_0069_0015__and, r_0069_0010__balance, conj1).
arc(r_0069_0015__and, r_0069_0012__pallet_r_0069_0013__fork, conj2).
arc(r_0069_0015__and, r_0069_0018___amp_, conj3).
arc(r_0069_0018___amp_, r_0069_0016__escape_r_0069_0017__wheel, conj1).
arc(r_0069_0018___amp_, r_0069_0019__pinion, conj2).
arc(r_0069_0021__are, r_0069_0023__called, scope).
arc(r_0069_0023__called, r_0069_0015__and, arg1).
arc(r_0069_0023__called, r_0069_0022__collectively, nim70).
arc(r_0069_0023__called, r_0069_0029__or, prd).
arc(r_0069_0023__called, z_000_69_a_seiko_9r65_68, arg0).
arc(r_0069_0027__regulating, r_0069_0025__speed, nim81).
arc(r_0069_0028__unit, r_0069_0027__regulating, attrib80).
arc(r_0069_0029__or, r_0069_0028__unit, conj1).
arc(r_0069_0029__or, r_0069_0030__escapement, conj2).

fof(formula,axiom,
    ? [R_0069_0001__PARTS,R_0069_0004__WORN,R_0069_0006__SEVERELY,R_0069_0007__DAMAGED,R_0069_0005__OR,R_0069_0002__THAT_R_0069_0003__BECOME,R_0069_0010__BALANCE,R_0069_0012__PALLET_R_0069_0013__FORK,R_0069_0016__ESCAPE_R_0069_0017__WHEEL,R_0069_0019__PINION,R_0069_0018___AMP_,R_0069_0015__AND,R_0069_0008__ARE,R_0069_0022__COLLECTIVELY,R_0069_0025__SPEED,R_0069_0027__REGULATING,R_0069_0028__UNIT,R_0069_0030__ESCAPEMENT,R_0069_0029__OR,Z_000_69_A_SEIKO_9R65_68,R_0069_0021__ARE_R_0069_0023__CALLED] :
      ( r_0069_0001__Parts(R_0069_0001__PARTS)
      & r_0069_0004__worn(R_0069_0004__WORN)
      & r_0069_0006__severely(R_0069_0006__SEVERELY)
      & r_0069_0010__balance(R_0069_0010__BALANCE)
      & r_0069_0012__pallet_r_0069_0013__fork(R_0069_0012__PALLET_R_0069_0013__FORK)
      & r_0069_0016__escape_r_0069_0017__wheel(R_0069_0016__ESCAPE_R_0069_0017__WHEEL)
      & r_0069_0019__pinion(R_0069_0019__PINION)
      & r_0069_0022__collectively(R_0069_0022__COLLECTIVELY)
      & r_0069_0025__speed(R_0069_0025__SPEED)
      & r_0069_0030__escapement(R_0069_0030__ESCAPEMENT)
      & z_000_69_a_seiko_9r65_68(Z_000_69_A_SEIKO_9R65_68)
      & 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_000_69_A_SEIKO_9R65_68)
      & has_prd(R_0069_0021__ARE_R_0069_0023__CALLED,R_0069_0029__OR)
      & r_0069_0029__or(R_0069_0029__OR)
      & has_conj2(R_0069_0029__OR,R_0069_0030__ESCAPEMENT)
      & has_conj1(R_0069_0029__OR,R_0069_0028__UNIT)
      & r_0069_0028__unit(R_0069_0028__UNIT)
      & has_attrib80(R_0069_0028__UNIT,R_0069_0027__REGULATING)
      & r_0069_0027__regulating(R_0069_0027__REGULATING)
      & has_nim81(R_0069_0027__REGULATING,R_0069_0025__SPEED)
      & has_nim70(R_0069_0021__ARE_R_0069_0023__CALLED,R_0069_0022__COLLECTIVELY)
      & has_arg1(R_0069_0021__ARE_R_0069_0023__CALLED,R_0069_0015__AND)
      & r_0069_0015__and(R_0069_0015__AND)
      & has_conj3(R_0069_0015__AND,R_0069_0018___AMP_)
      & r_0069_0018___amp_(R_0069_0018___AMP_)
      & has_conj2(R_0069_0018___AMP_,R_0069_0019__PINION)
      & has_conj1(R_0069_0018___AMP_,R_0069_0016__ESCAPE_R_0069_0017__WHEEL)
      & has_conj2(R_0069_0015__AND,R_0069_0012__PALLET_R_0069_0013__FORK)
      & has_conj1(R_0069_0015__AND,R_0069_0010__BALANCE)
      & r_0069_0008__are(R_0069_0008__ARE)
      & has_prd(R_0069_0008__ARE,R_0069_0015__AND)
      & has_arg0(R_0069_0008__ARE,R_0069_0001__PARTS)
      & r_0069_0002__that_r_0069_0003__become(R_0069_0002__THAT_R_0069_0003__BECOME)
      & has_prd(R_0069_0002__THAT_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_qual21(R_0069_0007__DAMAGED,R_0069_0006__SEVERELY)
      & has_conj1(R_0069_0005__OR,R_0069_0004__WORN)
      & has_arg0(R_0069_0002__THAT_R_0069_0003__BECOME,R_0069_0001__PARTS) ) ).

( (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))