Context                Previous, Next                Top


41_a_seiko_9r65
This is how the Spring Drive works.

%3 r_0041_0002__is is r_0041_0001__This This r_0041_0002__is->r_0041_0001__This [arg0] r_0041_0007__works works r_0041_0002__is->r_0041_0007__works [prd] r_0041_0003__how how r_0041_0007__works->r_0041_0003__how [nim] r_0041_0004__the_r_0041_0005__Spring_r_0041_0006__Drive the Spring Drive r_0041_0007__works->r_0041_0004__the_r_0041_0005__Spring_r_0041_0006__Drive [arg0] 
arc(r_0041_0002__is, r_0041_0001__This, arg0).
arc(r_0041_0002__is, r_0041_0007__works, prd).
arc(r_0041_0007__works, r_0041_0003__how, nim9).
arc(r_0041_0007__works, r_0041_0004__the_r_0041_0005__Spring_r_0041_0006__Drive, arg0).


%3 r_0041_0002__is is r_0041_0001__This This r_0041_0002__is->r_0041_0001__This [arg0] r_0041_0007__works works r_0041_0002__is->r_0041_0007__works [prd] r_0041_0003__how how r_0041_0007__works->r_0041_0003__how [nim] r_0041_0004__the_r_0041_0005__Spring_r_0041_0006__Drive the Spring Drive r_0041_0007__works->r_0041_0004__the_r_0041_0005__Spring_r_0041_0006__Drive [arg0] 
fof(formula,axiom,
    ? [R_41_2_IS,R_41_1_THIS,R_41_7_WORKS,R_41_4_THE_SPRING_DRIVE,R_41_3_HOW] :
      ( this(R_41_1_THIS)
      & the_Spring_Drive(R_41_4_THE_SPRING_DRIVE)
      & how(R_41_3_HOW)
      & is(R_41_2_IS,R_41_1_THIS,R_41_7_WORKS)
      & works(R_41_7_WORKS,R_41_4_THE_SPRING_DRIVE)
      & nim9(R_41_7_WORKS,R_41_3_HOW) ) ).


n41_a_seiko_9r65 n41_a_seiko_9r65_4 This n41_a_seiko_9r65_6 is n41_a_seiko_9r65_11 how n41_a_seiko_9r65_14 the n41_a_seiko_9r65_16 Spring n41_a_seiko_9r65_18 Drive n41_a_seiko_9r65_20 works n41_a_seiko_9r65_22 . n41_a_seiko_9r65_1 IP-MAT n41_a_seiko_9r65_2 NP-SBJ n41_a_seiko_9r65_1->n41_a_seiko_9r65_2 n41_a_seiko_9r65_5 BEP;_equ_Vw_ n41_a_seiko_9r65_1->n41_a_seiko_9r65_5 n41_a_seiko_9r65_7 CP-QUE-PRD n41_a_seiko_9r65_1->n41_a_seiko_9r65_7 n41_a_seiko_9r65_21 PUNC n41_a_seiko_9r65_1->n41_a_seiko_9r65_21 n41_a_seiko_9r65_3 D;_nphd_ n41_a_seiko_9r65_2->n41_a_seiko_9r65_3 n41_a_seiko_9r65_3->n41_a_seiko_9r65_4 n41_a_seiko_9r65_5->n41_a_seiko_9r65_6 n41_a_seiko_9r65_8 IP-SUB n41_a_seiko_9r65_7->n41_a_seiko_9r65_8 n41_a_seiko_9r65_9 ADVP-NIM n41_a_seiko_9r65_8->n41_a_seiko_9r65_9 n41_a_seiko_9r65_12 NP-SBJ n41_a_seiko_9r65_8->n41_a_seiko_9r65_12 n41_a_seiko_9r65_19 VBP;_I_ n41_a_seiko_9r65_8->n41_a_seiko_9r65_19 n41_a_seiko_9r65_10 WADV n41_a_seiko_9r65_9->n41_a_seiko_9r65_10 n41_a_seiko_9r65_10->n41_a_seiko_9r65_11 n41_a_seiko_9r65_13 D n41_a_seiko_9r65_12->n41_a_seiko_9r65_13 n41_a_seiko_9r65_15 NPR n41_a_seiko_9r65_12->n41_a_seiko_9r65_15 n41_a_seiko_9r65_17 NPR n41_a_seiko_9r65_12->n41_a_seiko_9r65_17 n41_a_seiko_9r65_13->n41_a_seiko_9r65_14 n41_a_seiko_9r65_15->n41_a_seiko_9r65_16 n41_a_seiko_9r65_17->n41_a_seiko_9r65_18 n41_a_seiko_9r65_19->n41_a_seiko_9r65_20 n41_a_seiko_9r65_21->n41_a_seiko_9r65_22 
( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_equ_Vw_ is;{be})
          (CP-QUE-PRD (IP-SUB (ADVP-NIM (WADV how;{how}))
                              (NP-SBJ (D the;{the})
                                      (NPR Spring;{Spring})
                                      (NPR Drive;{Drive}))
                              (VBP;_I_ works;{work})))
          (PUNC .))
  (ID 41_a_seiko_9r65))