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_0007__works works 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] r_0041_0003__how how r_0041_0007__works->r_0041_0003__how [nim] r_0041_0002__is is r_0041_0002__is->r_0041_0007__works [prd] r_0041_0001__This This r_0041_0002__is->r_0041_0001__This [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__1_1_1_1 This n41_a_seiko_9r65__1_2_1 is n41_a_seiko_9r65__1_3_1_1_1_1 how n41_a_seiko_9r65__1_3_1_2_1_1 the n41_a_seiko_9r65__1_3_1_2_2_1 Spring n41_a_seiko_9r65__1_3_1_2_3_1 Drive n41_a_seiko_9r65__1_3_1_3_1 works n41_a_seiko_9r65__1_4_1 . n41_a_seiko_9r65__1 IP-MAT n41_a_seiko_9r65__1_1 NP-SBJ n41_a_seiko_9r65__1->n41_a_seiko_9r65__1_1 n41_a_seiko_9r65__1_2 BEP;_equ_Vw_ n41_a_seiko_9r65__1->n41_a_seiko_9r65__1_2 n41_a_seiko_9r65__1_3 CP-QUE-PRD n41_a_seiko_9r65__1->n41_a_seiko_9r65__1_3 n41_a_seiko_9r65__1_4 PUNC n41_a_seiko_9r65__1->n41_a_seiko_9r65__1_4 n41_a_seiko_9r65__1_1_1 D;_nphd_ n41_a_seiko_9r65__1_1->n41_a_seiko_9r65__1_1_1 n41_a_seiko_9r65__1_1_1->n41_a_seiko_9r65__1_1_1_1 n41_a_seiko_9r65__1_2->n41_a_seiko_9r65__1_2_1 n41_a_seiko_9r65__1_3_1 IP-SUB n41_a_seiko_9r65__1_3->n41_a_seiko_9r65__1_3_1 n41_a_seiko_9r65__1_3_1_1 ADVP-NIM n41_a_seiko_9r65__1_3_1->n41_a_seiko_9r65__1_3_1_1 n41_a_seiko_9r65__1_3_1_2 NP-SBJ n41_a_seiko_9r65__1_3_1->n41_a_seiko_9r65__1_3_1_2 n41_a_seiko_9r65__1_3_1_3 VBP;_I_ n41_a_seiko_9r65__1_3_1->n41_a_seiko_9r65__1_3_1_3 n41_a_seiko_9r65__1_3_1_1_1 WADV n41_a_seiko_9r65__1_3_1_1->n41_a_seiko_9r65__1_3_1_1_1 n41_a_seiko_9r65__1_3_1_1_1->n41_a_seiko_9r65__1_3_1_1_1_1 n41_a_seiko_9r65__1_3_1_2_1 D n41_a_seiko_9r65__1_3_1_2->n41_a_seiko_9r65__1_3_1_2_1 n41_a_seiko_9r65__1_3_1_2_2 NPR n41_a_seiko_9r65__1_3_1_2->n41_a_seiko_9r65__1_3_1_2_2 n41_a_seiko_9r65__1_3_1_2_3 NPR n41_a_seiko_9r65__1_3_1_2->n41_a_seiko_9r65__1_3_1_2_3 n41_a_seiko_9r65__1_3_1_2_1->n41_a_seiko_9r65__1_3_1_2_1_1 n41_a_seiko_9r65__1_3_1_2_2->n41_a_seiko_9r65__1_3_1_2_2_1 n41_a_seiko_9r65__1_3_1_2_3->n41_a_seiko_9r65__1_3_1_2_3_1 n41_a_seiko_9r65__1_3_1_3->n41_a_seiko_9r65__1_3_1_3_1 n41_a_seiko_9r65__1_4->n41_a_seiko_9r65__1_4_1 
( (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))