TSPC 16_a_seiko

16_a_seiko_9r65
In a mechanical watch, the mainspring is wound and its unwinding power moves the hands.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ mechanical;{mechanical}))
                      (N watch;{watch})))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ;{MAINSPRING} (D the;{the})
                                           (N mainspring;{mainspring}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (N wound;{wound})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN;{MAINSPRING} (PRO;_genm_ its;{its}))
                                     (IP-PPL (VAG;_I_ unwinding;{unwind}))
                                     (N power;{power}))
                             (VBP;_Tn_ moves;{move})
                             (NP-OB1 (D the;{the})
                                     (NS hands;{hand})))))
          (PUNC .))
  (ID 16_a_seiko_9r65))

arc(r_0016_0002__a_r_0016_0004__watch,r_0016_0003__mechanical,attrib).
arc(r_0016_0008__is,r_0016_0002__a_r_0016_0004__watch,r_0016_0001__In__nim).
arc(r_0016_0008__is,r_0016_0006__the_r_0016_0007__mainspring,arg0).
arc(r_0016_0008__is,r_0016_0009__wound,prd).
arc(r_0016_0010__and,r_0016_0008__is,conj1).
arc(r_0016_0010__and,r_0016_0014__moves,conj2).
arc(r_0016_0012__unwinding,r_0016_0013__power,inv_arg0).
arc(r_0016_0013__power,r_0016_0006__the_r_0016_0007__mainspring,gen).
arc(r_0016_0014__moves,r_0016_0002__a_r_0016_0004__watch,r_0016_0001__In__nim).
arc(r_0016_0014__moves,r_0016_0013__power,arg0).
arc(r_0016_0014__moves,r_0016_0015__the_r_0016_0016__hands,arg1).

fof(formula,axiom,
    ? [R_0016_0003__MECHANICAL,R_0016_0002__A_R_0016_0004__WATCH,R_0016_0006__THE_R_0016_0007__MAINSPRING,R_0016_0009__WOUND,R_0016_0008__IS,R_0016_0012__UNWINDING,R_0016_0013__POWER,R_0016_0015__THE_R_0016_0016__HANDS,R_0016_0014__MOVES,R_0016_0010__AND] :
      ( r_0016_0003__mechanical(R_0016_0003__MECHANICAL)
      & r_0016_0006__the_r_0016_0007__mainspring(R_0016_0006__THE_R_0016_0007__MAINSPRING)
      & r_0016_0009__wound(R_0016_0009__WOUND)
      & r_0016_0012__unwinding(R_0016_0012__UNWINDING)
      & r_0016_0015__the_r_0016_0016__hands(R_0016_0015__THE_R_0016_0016__HANDS)
      & r_0016_0010__and(R_0016_0010__AND)
      & has_conj2(R_0016_0010__AND,R_0016_0014__MOVES)
      & r_0016_0014__moves(R_0016_0014__MOVES)
      & has_arg1(R_0016_0014__MOVES,R_0016_0015__THE_R_0016_0016__HANDS)
      & has_arg0(R_0016_0014__MOVES,R_0016_0013__POWER)
      & r_0016_0013__power(R_0016_0013__POWER)
      & has_gen(R_0016_0013__POWER,R_0016_0006__THE_R_0016_0007__MAINSPRING)
      & has_inv_arg0(R_0016_0013__POWER,R_0016_0012__UNWINDING)
      & has_r_0016_0001__In__nim(R_0016_0014__MOVES,R_0016_0002__A_R_0016_0004__WATCH)
      & r_0016_0002__a_r_0016_0004__watch(R_0016_0002__A_R_0016_0004__WATCH)
      & has_attrib(R_0016_0002__A_R_0016_0004__WATCH,R_0016_0003__MECHANICAL)
      & has_conj1(R_0016_0010__AND,R_0016_0008__IS)
      & r_0016_0008__is(R_0016_0008__IS)
      & has_prd(R_0016_0008__IS,R_0016_0009__WOUND)
      & has_arg0(R_0016_0008__IS,R_0016_0006__THE_R_0016_0007__MAINSPRING)
      & has_r_0016_0001__In__nim(R_0016_0008__IS,R_0016_0002__A_R_0016_0004__WATCH) ) ).