TSPC 70_a_seiko

70_a_seiko_9r65
These parts “come into contact or collide” mutually and control unwinding of the mainspring.

arc(r_0070_0004__come, r_0070_0001__These_r_0070_0002__parts, arg0).
arc(r_0070_0004__come, r_0070_0006__contact, r_0070_0005__into_clr18).
arc(r_0070_0004__come, r_0070_0010__mutually, nim29).
arc(r_0070_0007__or, r_0070_0004__come, conj1).
arc(r_0070_0007__or, r_0070_0008__collide, conj2).
arc(r_0070_0008__collide, r_0070_0001__These_r_0070_0002__parts, arg0).
arc(r_0070_0008__collide, r_0070_0010__mutually, nim29).
arc(r_0070_0011__and, r_0070_0007__or, conj1).
arc(r_0070_0011__and, r_0070_0012__control, conj2).
arc(r_0070_0012__control, r_0070_0001__These_r_0070_0002__parts, arg0).
arc(r_0070_0012__control, r_0070_0013__unwinding, arg1).
arc(r_0070_0013__unwinding, r_0070_0015__the_r_0070_0016__mainspring, r_0070_0014__of).

fof(formula,axiom,
    ? [R_0070_0001__THESE_R_0070_0002__PARTS,R_0070_0006__CONTACT,R_0070_0010__MUTUALLY,R_0070_0004__COME,R_0070_0008__COLLIDE,R_0070_0007__OR,R_0070_0015__THE_R_0070_0016__MAINSPRING,R_0070_0013__UNWINDING,R_0070_0012__CONTROL,R_0070_0011__AND] :
      ( r_0070_0001__These_r_0070_0002__parts(R_0070_0001__THESE_R_0070_0002__PARTS)
      & r_0070_0006__contact(R_0070_0006__CONTACT)
      & r_0070_0010__mutually(R_0070_0010__MUTUALLY)
      & r_0070_0015__the_r_0070_0016__mainspring(R_0070_0015__THE_R_0070_0016__MAINSPRING)
      & r_0070_0011__and(R_0070_0011__AND)
      & has_conj2(R_0070_0011__AND,R_0070_0012__CONTROL)
      & r_0070_0012__control(R_0070_0012__CONTROL)
      & has_arg1(R_0070_0012__CONTROL,R_0070_0013__UNWINDING)
      & r_0070_0013__unwinding(R_0070_0013__UNWINDING)
      & has_r_0070_0014__of(R_0070_0013__UNWINDING,R_0070_0015__THE_R_0070_0016__MAINSPRING)
      & has_arg0(R_0070_0012__CONTROL,R_0070_0001__THESE_R_0070_0002__PARTS)
      & has_conj1(R_0070_0011__AND,R_0070_0007__OR)
      & r_0070_0007__or(R_0070_0007__OR)
      & has_conj2(R_0070_0007__OR,R_0070_0008__COLLIDE)
      & r_0070_0008__collide(R_0070_0008__COLLIDE)
      & has_nim29(R_0070_0008__COLLIDE,R_0070_0010__MUTUALLY)
      & has_arg0(R_0070_0008__COLLIDE,R_0070_0001__THESE_R_0070_0002__PARTS)
      & has_conj1(R_0070_0007__OR,R_0070_0004__COME)
      & r_0070_0004__come(R_0070_0004__COME)
      & has_nim29(R_0070_0004__COME,R_0070_0010__MUTUALLY)
      & has_r_0070_0005__into_clr18(R_0070_0004__COME,R_0070_0006__CONTACT)
      & has_arg0(R_0070_0004__COME,R_0070_0001__THESE_R_0070_0002__PARTS) ) ).

( (IP-MAT (NP-SBJ;{PARTS} (D These;{these})
                          (NS parts;{part}))
          (ILYR (ILYR (PULQ <ldquo>)
                      (ILYR (ILYR (VBP;_Ipr_ come;{come[into]})
                                  (PP-CLR (P-ROLE into;{into})
                                          (NP (N contact;{contact}))))
                            (CONJP (CONJ or;{or})
                                   (ILYR (VB;_I_ collide;{collide}))))
                      (PURQ <rdquo>)
                      (ADVP-NIM (ADV mutually;{mutually})))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Tn_ control;{control})
                             (NP-OB1 (N unwinding;{unwinding})
                                     (PP (P-ROLE of;{of})
                                         (NP;{MAINSPRING} (D the;{the})
                                                          (N mainspring;{mainspring})))))))
          (PUNC .))
  (ID 70_a_seiko_9r65))