Context                Previous, Next                Top


21_a_seiko_9r65
What is the Spring Drive like?

n21_a_seiko_9r65 n21_a_seiko_9r65__1_1_1_1_1 What n21_a_seiko_9r65__1_1_2_1 is n21_a_seiko_9r65__1_1_3_1_1 the n21_a_seiko_9r65__1_1_3_2_1 Spring n21_a_seiko_9r65__1_1_3_3_1 Drive n21_a_seiko_9r65__1_1_4_1_1 like n21_a_seiko_9r65__1_1_4_2_1 *ICH*-126 n21_a_seiko_9r65__1_2_1 ? n21_a_seiko_9r65__1 CP-QUE-MAT n21_a_seiko_9r65__1_1 IP-SUB n21_a_seiko_9r65__1->n21_a_seiko_9r65__1_1 n21_a_seiko_9r65__1_2 PUNC n21_a_seiko_9r65__1->n21_a_seiko_9r65__1_2 n21_a_seiko_9r65__1_1_1 NP-126 n21_a_seiko_9r65__1_1->n21_a_seiko_9r65__1_1_1 n21_a_seiko_9r65__1_1_2 BEP;_Ipr_ n21_a_seiko_9r65__1_1->n21_a_seiko_9r65__1_1_2 n21_a_seiko_9r65__1_1_3 NP-SBJ n21_a_seiko_9r65__1_1->n21_a_seiko_9r65__1_1_3 n21_a_seiko_9r65__1_1_4 PP-CLR n21_a_seiko_9r65__1_1->n21_a_seiko_9r65__1_1_4 n21_a_seiko_9r65__1_1_1_1 WPRO n21_a_seiko_9r65__1_1_1->n21_a_seiko_9r65__1_1_1_1 n21_a_seiko_9r65__1_1_1_1->n21_a_seiko_9r65__1_1_1_1_1 n21_a_seiko_9r65__1_1_2->n21_a_seiko_9r65__1_1_2_1 n21_a_seiko_9r65__1_1_3_1 D n21_a_seiko_9r65__1_1_3->n21_a_seiko_9r65__1_1_3_1 n21_a_seiko_9r65__1_1_3_2 NPR n21_a_seiko_9r65__1_1_3->n21_a_seiko_9r65__1_1_3_2 n21_a_seiko_9r65__1_1_3_3 NPR n21_a_seiko_9r65__1_1_3->n21_a_seiko_9r65__1_1_3_3 n21_a_seiko_9r65__1_1_3_1->n21_a_seiko_9r65__1_1_3_1_1 n21_a_seiko_9r65__1_1_3_2->n21_a_seiko_9r65__1_1_3_2_1 n21_a_seiko_9r65__1_1_3_3->n21_a_seiko_9r65__1_1_3_3_1 n21_a_seiko_9r65__1_1_4_1 P-ROLE n21_a_seiko_9r65__1_1_4->n21_a_seiko_9r65__1_1_4_1 n21_a_seiko_9r65__1_1_4_2 NP n21_a_seiko_9r65__1_1_4->n21_a_seiko_9r65__1_1_4_2 n21_a_seiko_9r65__1_1_4_1->n21_a_seiko_9r65__1_1_4_1_1 n21_a_seiko_9r65__1_1_4_2->n21_a_seiko_9r65__1_1_4_2_1 n21_a_seiko_9r65__1_2->n21_a_seiko_9r65__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-126 (WPRO What;{what}))
                      (BEP;_Ipr_ is;{be[like]})
                      (NP-SBJ;{SPRING_DRIVE} (D the;{the})
                                             (NPR Spring;{Spring})
                                             (NPR Drive;{Drive}))
                      (PP-CLR (P-ROLE like;{like})
                              (NP *ICH*-126)))
              (PUNC ?))
  (ID 21_a_seiko_9r65))


%3 r_0021_0002__is_r_0021_0006__like is like r_0021_0003__the_r_0021_0004__Spring_r_0021_0005__Drive the Spring Drive r_0021_0002__is_r_0021_0006__like->r_0021_0003__the_r_0021_0004__Spring_r_0021_0005__Drive [arg0] r_0021_0001__What What r_0021_0002__is_r_0021_0006__like->r_0021_0001__What [arg1] 
arc(r_0021_0002__is_r_0021_0006__like,r_0021_0001__What,arg1).
arc(r_0021_0002__is_r_0021_0006__like,r_0021_0003__the_r_0021_0004__Spring_r_0021_0005__Drive,arg0).


%3 r_0021_0002__is_r_0021_0006__like is like r_0021_0001__What What r_0021_0002__is_r_0021_0006__like->r_0021_0001__What [arg1] r_0021_0003__the_r_0021_0004__Spring_r_0021_0005__Drive the Spring Drive r_0021_0002__is_r_0021_0006__like->r_0021_0003__the_r_0021_0004__Spring_r_0021_0005__Drive [arg0] 
fof(formula,axiom,
    ? [R_0021_0001__WHAT,R_0021_0003__THE_R_0021_0004__SPRING_R_0021_0005__DRIVE,R_0021_0002__IS_R_0021_0006__LIKE] :
      ( r_0021_0001__What(R_0021_0001__WHAT)
      & r_0021_0003__the_r_0021_0004__Spring_r_0021_0005__Drive(R_0021_0003__THE_R_0021_0004__SPRING_R_0021_0005__DRIVE)
      & r_0021_0002__is_r_0021_0006__like(R_0021_0002__IS_R_0021_0006__LIKE)
      & has_arg0(R_0021_0002__IS_R_0021_0006__LIKE,R_0021_0003__THE_R_0021_0004__SPRING_R_0021_0005__DRIVE)
      & has_arg1(R_0021_0002__IS_R_0021_0006__LIKE,R_0021_0001__WHAT) ) ).