Context                Previous, Next                Top


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

%3 r_0077_0006__can can r_0077_0002__addition addition r_0077_0006__can->r_0077_0002__addition In [nim] r_0077_0007__be be r_0077_0006__can->r_0077_0007__be [scope] r_0077_0008__wound wound r_0077_0007__be->r_0077_0008__wound [scope] r_0077_0004__the_r_0077_0005__mainspring the mainspring r_0077_0008__wound->r_0077_0004__the_r_0077_0005__mainspring [arg1] z_000_77_a_seiko_9r65_21 r_0077_0008__wound->z_000_77_a_seiko_9r65_21 [arg0] r_0077_0009__by by r_0077_0009__by->r_0077_0006__can [scope] r_0077_0010__turning turning r_0077_0009__by->r_0077_0010__turning [restriction] r_0077_0011__the_r_0077_0012__crown the crown r_0077_0010__turning->r_0077_0011__the_r_0077_0012__crown [arg1] z_000_77_a_seiko_9r65_28 r_0077_0010__turning->z_000_77_a_seiko_9r65_28 [arg0] 
arc(r_0077_0006__can, r_0077_0002__addition, r_0077_0001__In_nim5).
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_000_77_a_seiko_9r65_21, 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_000_77_a_seiko_9r65_28, arg0).


%3 r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound can be wound r_0077_0002__addition addition r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound->r_0077_0002__addition In [nim] r_0077_0004__the_r_0077_0005__mainspring the mainspring r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound->r_0077_0004__the_r_0077_0005__mainspring [arg1] z_000_77_a_seiko_9r65_21 r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound->z_000_77_a_seiko_9r65_21 [arg0] r_0077_0009__by by r_0077_0009__by->r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound [conj2] r_0077_0010__turning turning r_0077_0009__by->r_0077_0010__turning [conj1] r_0077_0011__the_r_0077_0012__crown the crown r_0077_0010__turning->r_0077_0011__the_r_0077_0012__crown [arg1] z_000_77_a_seiko_9r65_28 r_0077_0010__turning->z_000_77_a_seiko_9r65_28 [arg0] 
fof(formula,axiom,
    ? [R_77_9_BY,R_77_10_TURNING,Z_77_A_SEIKO_9R65_28,R_77_11_THE_CROWN,R_77_6_CAN_BE_WOUND,Z_77_A_SEIKO_9R65_21,R_77_4_THE_MAINSPRING,R_77_2_ADDITION] :
      ( the_crown(R_77_11_THE_CROWN)
      & the_mainspring(R_77_4_THE_MAINSPRING)
      & addition(R_77_2_ADDITION)
      & by(R_77_9_BY)
      & conj1(R_77_9_BY,R_77_10_TURNING)
      & turning(R_77_10_TURNING,Z_77_A_SEIKO_9R65_28,R_77_11_THE_CROWN)
      & conj2(R_77_9_BY,R_77_6_CAN_BE_WOUND)
      & can_be_wound(R_77_6_CAN_BE_WOUND,Z_77_A_SEIKO_9R65_21,R_77_4_THE_MAINSPRING)
      & in_nim5(R_77_6_CAN_BE_WOUND,R_77_2_ADDITION) ) ).


n77_a_seiko_9r65 n77_a_seiko_9r65_4 In n77_a_seiko_9r65_7 addition n77_a_seiko_9r65_9 , n77_a_seiko_9r65_12 the n77_a_seiko_9r65_14 mainspring n77_a_seiko_9r65_16 can n77_a_seiko_9r65_19 be n77_a_seiko_9r65_22 * n77_a_seiko_9r65_24 wound n77_a_seiko_9r65_27 by n77_a_seiko_9r65_30 turning n77_a_seiko_9r65_33 the n77_a_seiko_9r65_35 crown n77_a_seiko_9r65_37 . n77_a_seiko_9r65_1 IP-MAT n77_a_seiko_9r65_2 PP-NIM n77_a_seiko_9r65_1->n77_a_seiko_9r65_2 n77_a_seiko_9r65_8 PUNC n77_a_seiko_9r65_1->n77_a_seiko_9r65_8 n77_a_seiko_9r65_10 NP-SBJ n77_a_seiko_9r65_1->n77_a_seiko_9r65_10 n77_a_seiko_9r65_15 MD;_cat_Vi_ n77_a_seiko_9r65_1->n77_a_seiko_9r65_15 n77_a_seiko_9r65_17 IP-INF-CAT n77_a_seiko_9r65_1->n77_a_seiko_9r65_17 n77_a_seiko_9r65_25 PP-SCON n77_a_seiko_9r65_1->n77_a_seiko_9r65_25 n77_a_seiko_9r65_36 PUNC n77_a_seiko_9r65_1->n77_a_seiko_9r65_36 n77_a_seiko_9r65_3 P-ROLE n77_a_seiko_9r65_2->n77_a_seiko_9r65_3 n77_a_seiko_9r65_5 NP n77_a_seiko_9r65_2->n77_a_seiko_9r65_5 n77_a_seiko_9r65_3->n77_a_seiko_9r65_4 n77_a_seiko_9r65_6 N n77_a_seiko_9r65_5->n77_a_seiko_9r65_6 n77_a_seiko_9r65_6->n77_a_seiko_9r65_7 n77_a_seiko_9r65_8->n77_a_seiko_9r65_9 n77_a_seiko_9r65_11 D n77_a_seiko_9r65_10->n77_a_seiko_9r65_11 n77_a_seiko_9r65_13 N n77_a_seiko_9r65_10->n77_a_seiko_9r65_13 n77_a_seiko_9r65_11->n77_a_seiko_9r65_12 n77_a_seiko_9r65_13->n77_a_seiko_9r65_14 n77_a_seiko_9r65_15->n77_a_seiko_9r65_16 n77_a_seiko_9r65_18 BE;_cat_VePASS_ n77_a_seiko_9r65_17->n77_a_seiko_9r65_18 n77_a_seiko_9r65_20 IP-PPL-CAT n77_a_seiko_9r65_17->n77_a_seiko_9r65_20 n77_a_seiko_9r65_18->n77_a_seiko_9r65_19 n77_a_seiko_9r65_21 NP-LGS n77_a_seiko_9r65_20->n77_a_seiko_9r65_21 n77_a_seiko_9r65_23 VVN;_Tn_ n77_a_seiko_9r65_20->n77_a_seiko_9r65_23 n77_a_seiko_9r65_21->n77_a_seiko_9r65_22 n77_a_seiko_9r65_23->n77_a_seiko_9r65_24 n77_a_seiko_9r65_26 P-CONN n77_a_seiko_9r65_25->n77_a_seiko_9r65_26 n77_a_seiko_9r65_28 IP-PPL3 n77_a_seiko_9r65_25->n77_a_seiko_9r65_28 n77_a_seiko_9r65_26->n77_a_seiko_9r65_27 n77_a_seiko_9r65_29 VAG;_Tn_ n77_a_seiko_9r65_28->n77_a_seiko_9r65_29 n77_a_seiko_9r65_31 NP-OB1 n77_a_seiko_9r65_28->n77_a_seiko_9r65_31 n77_a_seiko_9r65_29->n77_a_seiko_9r65_30 n77_a_seiko_9r65_32 D n77_a_seiko_9r65_31->n77_a_seiko_9r65_32 n77_a_seiko_9r65_34 N n77_a_seiko_9r65_31->n77_a_seiko_9r65_34 n77_a_seiko_9r65_32->n77_a_seiko_9r65_33 n77_a_seiko_9r65_34->n77_a_seiko_9r65_35 n77_a_seiko_9r65_36->n77_a_seiko_9r65_37 
( (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))