Context                Previous, Next                Top


74_a_seiko_9r65
How to wind the main spring

%3 r_0074_0002__to_r_0074_0003__wind to wind r_0074_0001__How How r_0074_0002__to_r_0074_0003__wind->r_0074_0001__How [nim] r_0074_0004__the_r_0074_0006__spring the spring r_0074_0002__to_r_0074_0003__wind->r_0074_0004__the_r_0074_0006__spring [arg1] x_000_74_a_seiko_9r65_3 __ r_0074_0002__to_r_0074_0003__wind->x_000_74_a_seiko_9r65_3 [arg0] r_0074_0005__main main r_0074_0004__the_r_0074_0006__spring->r_0074_0005__main [attrib] z_000_74_a_seiko_9r65_1 z_000_74_a_seiko_9r65_1->r_0074_0002__to_r_0074_0003__wind [prd] 
arc(r_0074_0002__to_r_0074_0003__wind, r_0074_0001__How, nim4).
arc(r_0074_0002__to_r_0074_0003__wind, r_0074_0004__the_r_0074_0006__spring, arg1).
arc(r_0074_0002__to_r_0074_0003__wind, x_000_74_a_seiko_9r65_3, arg0).
arc(r_0074_0004__the_r_0074_0006__spring, r_0074_0005__main, attrib14).
arc(z_000_74_a_seiko_9r65_1, r_0074_0002__to_r_0074_0003__wind, prd).


%3 z_000_74_a_seiko_9r65_1 r_0074_0002__to_r_0074_0003__wind to wind z_000_74_a_seiko_9r65_1->r_0074_0002__to_r_0074_0003__wind [prd] r_0074_0004__the_r_0074_0006__spring the spring r_0074_0002__to_r_0074_0003__wind->r_0074_0004__the_r_0074_0006__spring [arg1] x_000_74_a_seiko_9r65_3 __ r_0074_0002__to_r_0074_0003__wind->x_000_74_a_seiko_9r65_3 [arg0] r_0074_0001__How How r_0074_0002__to_r_0074_0003__wind->r_0074_0001__How [nim] r_0074_0005__main main r_0074_0004__the_r_0074_0006__spring->r_0074_0005__main [attrib] 
fof(formula,axiom,
    ? [R_0074_0001__HOW,R_0074_0005__MAIN,R_0074_0004__THE_R_0074_0006__SPRING,X_000_74_A_SEIKO_9R65_3,R_0074_0002__TO_R_0074_0003__WIND,Z_000_74_A_SEIKO_9R65_1] :
      ( r_0074_0001__How(R_0074_0001__HOW)
      & r_0074_0005__main(R_0074_0005__MAIN)
      & x_000_74_a_seiko_9r65_3(X_000_74_A_SEIKO_9R65_3)
      & z_000_74_a_seiko_9r65_1(Z_000_74_A_SEIKO_9R65_1)
      & has_prd(Z_000_74_A_SEIKO_9R65_1,R_0074_0002__TO_R_0074_0003__WIND)
      & r_0074_0002__to_r_0074_0003__wind(R_0074_0002__TO_R_0074_0003__WIND)
      & has_arg0(R_0074_0002__TO_R_0074_0003__WIND,X_000_74_A_SEIKO_9R65_3)
      & has_arg1(R_0074_0002__TO_R_0074_0003__WIND,R_0074_0004__THE_R_0074_0006__SPRING)
      & r_0074_0004__the_r_0074_0006__spring(R_0074_0004__THE_R_0074_0006__SPRING)
      & has_attrib14(R_0074_0004__THE_R_0074_0006__SPRING,R_0074_0005__MAIN)
      & has_nim4(R_0074_0002__TO_R_0074_0003__WIND,R_0074_0001__HOW) ) ).


n74_a_seiko_9r65 n74_a_seiko_9r65__1_1_1_1_1_1 How n74_a_seiko_9r65__1_1_1_2_1 to n74_a_seiko_9r65__1_1_1_3_1 wind n74_a_seiko_9r65__1_1_1_4_1_1 the n74_a_seiko_9r65__1_1_1_4_2_1_1 main n74_a_seiko_9r65__1_1_1_4_3_1 spring n74_a_seiko_9r65__1 FRAG n74_a_seiko_9r65__1_1 CP-QUE-PRD n74_a_seiko_9r65__1->n74_a_seiko_9r65__1_1 n74_a_seiko_9r65__1_1_1 IP-INF n74_a_seiko_9r65__1_1->n74_a_seiko_9r65__1_1_1 n74_a_seiko_9r65__1_1_1_1 ADVP-NIM n74_a_seiko_9r65__1_1_1->n74_a_seiko_9r65__1_1_1_1 n74_a_seiko_9r65__1_1_1_2 TO n74_a_seiko_9r65__1_1_1->n74_a_seiko_9r65__1_1_1_2 n74_a_seiko_9r65__1_1_1_3 VB;_Tn_ n74_a_seiko_9r65__1_1_1->n74_a_seiko_9r65__1_1_1_3 n74_a_seiko_9r65__1_1_1_4 NP-OB1 n74_a_seiko_9r65__1_1_1->n74_a_seiko_9r65__1_1_1_4 n74_a_seiko_9r65__1_1_1_1_1 WADV n74_a_seiko_9r65__1_1_1_1->n74_a_seiko_9r65__1_1_1_1_1 n74_a_seiko_9r65__1_1_1_1_1->n74_a_seiko_9r65__1_1_1_1_1_1 n74_a_seiko_9r65__1_1_1_2->n74_a_seiko_9r65__1_1_1_2_1 n74_a_seiko_9r65__1_1_1_3->n74_a_seiko_9r65__1_1_1_3_1 n74_a_seiko_9r65__1_1_1_4_1 D n74_a_seiko_9r65__1_1_1_4->n74_a_seiko_9r65__1_1_1_4_1 n74_a_seiko_9r65__1_1_1_4_2 ADJP n74_a_seiko_9r65__1_1_1_4->n74_a_seiko_9r65__1_1_1_4_2 n74_a_seiko_9r65__1_1_1_4_3 N n74_a_seiko_9r65__1_1_1_4->n74_a_seiko_9r65__1_1_1_4_3 n74_a_seiko_9r65__1_1_1_4_1->n74_a_seiko_9r65__1_1_1_4_1_1 n74_a_seiko_9r65__1_1_1_4_2_1 ADJ n74_a_seiko_9r65__1_1_1_4_2->n74_a_seiko_9r65__1_1_1_4_2_1 n74_a_seiko_9r65__1_1_1_4_2_1->n74_a_seiko_9r65__1_1_1_4_2_1_1 n74_a_seiko_9r65__1_1_1_4_3->n74_a_seiko_9r65__1_1_1_4_3_1 
( (FRAG (CP-QUE-PRD (IP-INF (ADVP-NIM (WADV How;{how}))
                            (TO to;{to})
                            (VB;_Tn_ wind;{wind})
                            (NP-OB1 (D the;{the})
                                    (ADJP (ADJ main;{main}))
                                    (N spring;{spring})))))
  (ID 74_a_seiko_9r65))