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,
    ? [Z_74_A_SEIKO_9R65_1,R_74_2_TO_WIND,X_74_A_SEIKO_9R65_3,R_74_4_THE_SPRING,R_74_5_MAIN,R_74_1_HOW] :
      ( main(R_74_5_MAIN)
      & how(R_74_1_HOW)
      & z_74_a_seiko_9r65_1(Z_74_A_SEIKO_9R65_1)
      & prd(Z_74_A_SEIKO_9R65_1,R_74_2_TO_WIND)
      & to_wind(R_74_2_TO_WIND,X_74_A_SEIKO_9R65_3,R_74_4_THE_SPRING)
      & the_spring(R_74_4_THE_SPRING)
      & attrib14(R_74_4_THE_SPRING,R_74_5_MAIN)
      & nim4(R_74_2_TO_WIND,R_74_1_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))