TSPC 70_a_seiko

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

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

arc(r_0070_0004__come_r_0070_0005__into,r_0070_0001__These_r_0070_0002__parts,arg0).
arc(r_0070_0004__come_r_0070_0005__into,r_0070_0006__contact,arg1).
arc(r_0070_0004__come_r_0070_0005__into,r_0070_0010__mutually,nim).
arc(r_0070_0007__or,r_0070_0004__come_r_0070_0005__into,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,nim).
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_0005__INTO,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_nim(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_0005__INTO)
      & r_0070_0004__come_r_0070_0005__into(R_0070_0004__COME_R_0070_0005__INTO)
      & has_nim(R_0070_0004__COME_R_0070_0005__INTO,R_0070_0010__MUTUALLY)
      & has_arg1(R_0070_0004__COME_R_0070_0005__INTO,R_0070_0006__CONTACT)
      & has_arg0(R_0070_0004__COME_R_0070_0005__INTO,R_0070_0001__THESE_R_0070_0002__PARTS) ) ).