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_0010__turning turning z_000_77_a_seiko_9r65_28 r_0077_0010__turning->z_000_77_a_seiko_9r65_28 [arg0] r_0077_0011__the_r_0077_0012__crown the crown r_0077_0010__turning->r_0077_0011__the_r_0077_0012__crown [arg1] r_0077_0009__by by r_0077_0009__by->r_0077_0010__turning [conj1] r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound can be wound r_0077_0009__by->r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound [conj2] 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_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] r_0077_0002__addition addition r_0077_0006__can_r_0077_0007__be_r_0077_0008__wound->r_0077_0002__addition In [nim] 
fof(formula,axiom,
    ? [R_0077_0002__ADDITION,R_0077_0004__THE_R_0077_0005__MAINSPRING,Z_000_77_A_SEIKO_9R65_21,R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND,R_0077_0011__THE_R_0077_0012__CROWN,Z_000_77_A_SEIKO_9R65_28,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_000_77_a_seiko_9r65_21(Z_000_77_A_SEIKO_9R65_21)
      & z_000_77_a_seiko_9r65_28(Z_000_77_A_SEIKO_9R65_28)
      & 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_000_77_A_SEIKO_9R65_28)
      & 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_000_77_A_SEIKO_9R65_21)
      & 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_nim5(R_0077_0006__CAN_R_0077_0007__BE_R_0077_0008__WOUND,R_0077_0002__ADDITION) ) ).


n77_a_seiko_9r65 n77_a_seiko_9r65__1_1_1_1 In n77_a_seiko_9r65__1_1_2_1_1 addition n77_a_seiko_9r65__1_2_1 , n77_a_seiko_9r65__1_3_1_1 the n77_a_seiko_9r65__1_3_2_1 mainspring n77_a_seiko_9r65__1_4_1 can n77_a_seiko_9r65__1_5_1_1 be n77_a_seiko_9r65__1_5_2_1_1 * n77_a_seiko_9r65__1_5_2_2_1 wound n77_a_seiko_9r65__1_6_1_1 by n77_a_seiko_9r65__1_6_2_1_1 turning n77_a_seiko_9r65__1_6_2_2_1_1 the n77_a_seiko_9r65__1_6_2_2_2_1 crown n77_a_seiko_9r65__1_7_1 . n77_a_seiko_9r65__1 IP-MAT n77_a_seiko_9r65__1_1 PP-NIM n77_a_seiko_9r65__1->n77_a_seiko_9r65__1_1 n77_a_seiko_9r65__1_2 PUNC n77_a_seiko_9r65__1->n77_a_seiko_9r65__1_2 n77_a_seiko_9r65__1_3 NP-SBJ n77_a_seiko_9r65__1->n77_a_seiko_9r65__1_3 n77_a_seiko_9r65__1_4 MD;_cat_Vi_ n77_a_seiko_9r65__1->n77_a_seiko_9r65__1_4 n77_a_seiko_9r65__1_5 IP-INF-CAT n77_a_seiko_9r65__1->n77_a_seiko_9r65__1_5 n77_a_seiko_9r65__1_6 PP-SCON n77_a_seiko_9r65__1->n77_a_seiko_9r65__1_6 n77_a_seiko_9r65__1_7 PUNC n77_a_seiko_9r65__1->n77_a_seiko_9r65__1_7 n77_a_seiko_9r65__1_1_1 P-ROLE n77_a_seiko_9r65__1_1->n77_a_seiko_9r65__1_1_1 n77_a_seiko_9r65__1_1_2 NP n77_a_seiko_9r65__1_1->n77_a_seiko_9r65__1_1_2 n77_a_seiko_9r65__1_1_1->n77_a_seiko_9r65__1_1_1_1 n77_a_seiko_9r65__1_1_2_1 N n77_a_seiko_9r65__1_1_2->n77_a_seiko_9r65__1_1_2_1 n77_a_seiko_9r65__1_1_2_1->n77_a_seiko_9r65__1_1_2_1_1 n77_a_seiko_9r65__1_2->n77_a_seiko_9r65__1_2_1 n77_a_seiko_9r65__1_3_1 D n77_a_seiko_9r65__1_3->n77_a_seiko_9r65__1_3_1 n77_a_seiko_9r65__1_3_2 N n77_a_seiko_9r65__1_3->n77_a_seiko_9r65__1_3_2 n77_a_seiko_9r65__1_3_1->n77_a_seiko_9r65__1_3_1_1 n77_a_seiko_9r65__1_3_2->n77_a_seiko_9r65__1_3_2_1 n77_a_seiko_9r65__1_4->n77_a_seiko_9r65__1_4_1 n77_a_seiko_9r65__1_5_1 BE;_cat_VePASS_ n77_a_seiko_9r65__1_5->n77_a_seiko_9r65__1_5_1 n77_a_seiko_9r65__1_5_2 IP-PPL-CAT n77_a_seiko_9r65__1_5->n77_a_seiko_9r65__1_5_2 n77_a_seiko_9r65__1_5_1->n77_a_seiko_9r65__1_5_1_1 n77_a_seiko_9r65__1_5_2_1 NP-LGS n77_a_seiko_9r65__1_5_2->n77_a_seiko_9r65__1_5_2_1 n77_a_seiko_9r65__1_5_2_2 VVN;_Tn_ n77_a_seiko_9r65__1_5_2->n77_a_seiko_9r65__1_5_2_2 n77_a_seiko_9r65__1_5_2_1->n77_a_seiko_9r65__1_5_2_1_1 n77_a_seiko_9r65__1_5_2_2->n77_a_seiko_9r65__1_5_2_2_1 n77_a_seiko_9r65__1_6_1 P-CONN n77_a_seiko_9r65__1_6->n77_a_seiko_9r65__1_6_1 n77_a_seiko_9r65__1_6_2 IP-PPL3 n77_a_seiko_9r65__1_6->n77_a_seiko_9r65__1_6_2 n77_a_seiko_9r65__1_6_1->n77_a_seiko_9r65__1_6_1_1 n77_a_seiko_9r65__1_6_2_1 VAG;_Tn_ n77_a_seiko_9r65__1_6_2->n77_a_seiko_9r65__1_6_2_1 n77_a_seiko_9r65__1_6_2_2 NP-OB1 n77_a_seiko_9r65__1_6_2->n77_a_seiko_9r65__1_6_2_2 n77_a_seiko_9r65__1_6_2_1->n77_a_seiko_9r65__1_6_2_1_1 n77_a_seiko_9r65__1_6_2_2_1 D n77_a_seiko_9r65__1_6_2_2->n77_a_seiko_9r65__1_6_2_2_1 n77_a_seiko_9r65__1_6_2_2_2 N n77_a_seiko_9r65__1_6_2_2->n77_a_seiko_9r65__1_6_2_2_2 n77_a_seiko_9r65__1_6_2_2_1->n77_a_seiko_9r65__1_6_2_2_1_1 n77_a_seiko_9r65__1_6_2_2_2->n77_a_seiko_9r65__1_6_2_2_2_1 n77_a_seiko_9r65__1_7->n77_a_seiko_9r65__1_7_1 
( (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))