TSPC 76_a_seiko

76_a_seiko_9r65
<white circle> The mainspring can be sufficiently wound automatically by natural movement of the arm while it is worn on the wrist.

( (IP-MAT (SYM <white_circle>)
          (NP-SBJ;{MAINSPRING} (D The;{the})
                               (N mainspring;{mainspring}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (ADVP-NIM (ADV sufficiently;{sufficiently}))
                                  (VVN;_Tn_ wound;{wind})
                                  (ADVP-NIM (ADV automatically;{automatically}))
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (ADJP (ADJ natural;{natural}))
                                              (N movement;{movement})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (N arm;{arm})))))))
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ;{WATCH} (PRO it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn.pr_ worn;{wear})
                                       (PP-NIM (P-ROLE on;{on})
                                               (NP (D the;{the})
                                                   (N wrist;{wrist}))))))
          (PUNC .))
  (ID 76_a_seiko_9r65))

arc(r_0076_0004__can,r_0076_0005__be,scope).
arc(r_0076_0005__be,r_0076_0007__wound,scope).
arc(r_0076_0007__wound,r_0076_0002__The_r_0076_0003__mainspring,arg1).
arc(r_0076_0007__wound,r_0076_0006__sufficiently,nim).
arc(r_0076_0007__wound,r_0076_0008__automatically,nim).
arc(r_0076_0007__wound,r_0076_0011__movement,r_0076_0009__by_arg0).
arc(r_0076_0011__movement,r_0076_0010__natural,attrib).
arc(r_0076_0011__movement,r_0076_0013__the_r_0076_0014__arm,r_0076_0012__of).
arc(r_0076_0015__while,r_0076_0004__can,scope).
arc(r_0076_0015__while,r_0076_0017__is,restriction).
arc(r_0076_0017__is,r_0076_0018__worn,scope).
arc(r_0076_0018__worn,r_0076_0016__it,arg1).
arc(r_0076_0018__worn,r_0076_0020__the_r_0076_0021__wrist,r_0076_0019__on__nim).
arc(r_0076_0018__worn,z_0076_5005___star_,arg0).

fof(formula,axiom,
    ? [R_0076_0002__THE_R_0076_0003__MAINSPRING,R_0076_0006__SUFFICIENTLY,R_0076_0008__AUTOMATICALLY,R_0076_0010__NATURAL,R_0076_0013__THE_R_0076_0014__ARM,R_0076_0011__MOVEMENT,R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0016__IT,R_0076_0020__THE_R_0076_0021__WRIST,Z_0076_5005___STAR_,R_0076_0017__IS_R_0076_0018__WORN,R_0076_0015__WHILE] :
      ( r_0076_0002__The_r_0076_0003__mainspring(R_0076_0002__THE_R_0076_0003__MAINSPRING)
      & r_0076_0006__sufficiently(R_0076_0006__SUFFICIENTLY)
      & r_0076_0008__automatically(R_0076_0008__AUTOMATICALLY)
      & r_0076_0010__natural(R_0076_0010__NATURAL)
      & r_0076_0013__the_r_0076_0014__arm(R_0076_0013__THE_R_0076_0014__ARM)
      & r_0076_0016__it(R_0076_0016__IT)
      & r_0076_0020__the_r_0076_0021__wrist(R_0076_0020__THE_R_0076_0021__WRIST)
      & z_0076_5005___star_(Z_0076_5005___STAR_)
      & r_0076_0015__while(R_0076_0015__WHILE)
      & has_conj1(R_0076_0015__WHILE,R_0076_0017__IS_R_0076_0018__WORN)
      & r_0076_0017__is_r_0076_0018__worn(R_0076_0017__IS_R_0076_0018__WORN)
      & has_arg0(R_0076_0017__IS_R_0076_0018__WORN,Z_0076_5005___STAR_)
      & has_r_0076_0019__on__nim(R_0076_0017__IS_R_0076_0018__WORN,R_0076_0020__THE_R_0076_0021__WRIST)
      & has_arg1(R_0076_0017__IS_R_0076_0018__WORN,R_0076_0016__IT)
      & has_conj2(R_0076_0015__WHILE,R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND)
      & r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound(R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND)
      & has_r_0076_0009__by_arg0(R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0011__MOVEMENT)
      & r_0076_0011__movement(R_0076_0011__MOVEMENT)
      & has_r_0076_0012__of(R_0076_0011__MOVEMENT,R_0076_0013__THE_R_0076_0014__ARM)
      & has_attrib(R_0076_0011__MOVEMENT,R_0076_0010__NATURAL)
      & has_nim(R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0008__AUTOMATICALLY)
      & has_nim(R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0006__SUFFICIENTLY)
      & has_arg1(R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0002__THE_R_0076_0003__MAINSPRING) ) ).