Context                Previous, Next                Top


41_a_seiko_9r65
This is how the Spring Drive works.

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))


%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] 
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,nim).
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_0041_0001__THIS,R_0041_0003__HOW,R_0041_0004__THE_R_0041_0005__SPRING_R_0041_0006__DRIVE,R_0041_0007__WORKS,R_0041_0002__IS] :
      ( r_0041_0001__This(R_0041_0001__THIS)
      & r_0041_0003__how(R_0041_0003__HOW)
      & r_0041_0004__the_r_0041_0005__Spring_r_0041_0006__Drive(R_0041_0004__THE_R_0041_0005__SPRING_R_0041_0006__DRIVE)
      & r_0041_0002__is(R_0041_0002__IS)
      & has_prd(R_0041_0002__IS,R_0041_0007__WORKS)
      & r_0041_0007__works(R_0041_0007__WORKS)
      & has_arg0(R_0041_0007__WORKS,R_0041_0004__THE_R_0041_0005__SPRING_R_0041_0006__DRIVE)
      & has_nim(R_0041_0007__WORKS,R_0041_0003__HOW)
      & has_arg0(R_0041_0002__IS,R_0041_0001__THIS) ) ).