TSPC 77_a_seiko

77_a_seiko_9r65
In addition, the mainspring can be wound by turning the crown.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N addition;{addition})))
          (PUNC ,)
          (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 (NP-LGS *)
                                  (VVN;_Tn_ wound;{wind})))
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL3 (VAG;_Tn_ turning;{turn})
                            (NP-OB1 (D the;{the})
                                    (N crown;{crown}))))
          (PUNC .))
  (ID 77_a_seiko_9r65))

arc(r_0077_0006__can,r_0077_0002__addition,r_0077_0001__In__nim).
arc(r_0077_0006__can,r_0077_0007__be,scope).
arc(r_0077_0007__be,r_0077_0008__wound,scope).
arc(r_0077_0008__wound,r_0077_0004__the_r_0077_0005__mainspring,arg1).
arc(r_0077_0008__wound,z_0077_5010___star_,arg0).
arc(r_0077_0009__by,r_0077_0006__can,scope).
arc(r_0077_0009__by,r_0077_0010__turning,restriction).
arc(r_0077_0010__turning,r_0077_0011__the_r_0077_0012__crown,arg1).
arc(r_0077_0010__turning,z_0077_5005,arg0).

fof(formula,axiom,
    ? [R_0077_0002__ADDITION,R_0077_0004__THE_R_0077_0005__MAINSPRING,Z_0077_5010___STAR_,R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND,R_0077_0011__THE_R_0077_0012__CROWN,Z_0077_5005,R_0077_0010__TURNING,R_0077_0009__BY] :
      ( r_0077_0002__addition(R_0077_0002__ADDITION)
      & r_0077_0004__the_r_0077_0005__mainspring(R_0077_0004__THE_R_0077_0005__MAINSPRING)
      & r_0077_0011__the_r_0077_0012__crown(R_0077_0011__THE_R_0077_0012__CROWN)
      & z_0077_5005(Z_0077_5005)
      & z_0077_5010___star_(Z_0077_5010___STAR_)
      & r_0077_0009__by(R_0077_0009__BY)
      & has_conj1(R_0077_0009__BY,R_0077_0010__TURNING)
      & r_0077_0010__turning(R_0077_0010__TURNING)
      & has_arg0(R_0077_0010__TURNING,Z_0077_5005)
      & has_arg1(R_0077_0010__TURNING,R_0077_0011__THE_R_0077_0012__CROWN)
      & has_conj2(R_0077_0009__BY,R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND)
      & r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound(R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND)
      & has_arg0(R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND,Z_0077_5010___STAR_)
      & has_arg1(R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND,R_0077_0004__THE_R_0077_0005__MAINSPRING)
      & has_r_0077_0001__In__nim(R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND,R_0077_0002__ADDITION) ) ).