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 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] 
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_6 How n74_a_seiko_9r65_8 to n74_a_seiko_9r65_10 wind n74_a_seiko_9r65_13 the n74_a_seiko_9r65_16 main n74_a_seiko_9r65_18 spring n74_a_seiko_9r65_1 FRAG n74_a_seiko_9r65_2 CP-QUE-PRD n74_a_seiko_9r65_1->n74_a_seiko_9r65_2 n74_a_seiko_9r65_3 IP-INF n74_a_seiko_9r65_2->n74_a_seiko_9r65_3 n74_a_seiko_9r65_4 ADVP-NIM n74_a_seiko_9r65_3->n74_a_seiko_9r65_4 n74_a_seiko_9r65_7 TO n74_a_seiko_9r65_3->n74_a_seiko_9r65_7 n74_a_seiko_9r65_9 VB;_Tn_ n74_a_seiko_9r65_3->n74_a_seiko_9r65_9 n74_a_seiko_9r65_11 NP-OB1 n74_a_seiko_9r65_3->n74_a_seiko_9r65_11 n74_a_seiko_9r65_5 WADV n74_a_seiko_9r65_4->n74_a_seiko_9r65_5 n74_a_seiko_9r65_5->n74_a_seiko_9r65_6 n74_a_seiko_9r65_7->n74_a_seiko_9r65_8 n74_a_seiko_9r65_9->n74_a_seiko_9r65_10 n74_a_seiko_9r65_12 D n74_a_seiko_9r65_11->n74_a_seiko_9r65_12 n74_a_seiko_9r65_14 ADJP n74_a_seiko_9r65_11->n74_a_seiko_9r65_14 n74_a_seiko_9r65_17 N n74_a_seiko_9r65_11->n74_a_seiko_9r65_17 n74_a_seiko_9r65_12->n74_a_seiko_9r65_13 n74_a_seiko_9r65_15 ADJ n74_a_seiko_9r65_14->n74_a_seiko_9r65_15 n74_a_seiko_9r65_15->n74_a_seiko_9r65_16 n74_a_seiko_9r65_17->n74_a_seiko_9r65_18 
( (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))