Context                Previous, Next                Top


12_a_cat_mouse
Enter a number between 0 and 2 to say how far to the right you want to run.

%3 r_0012_0001__Enter Enter r_0012_0002__a_r_0012_0003__number a number r_0012_0001__Enter->r_0012_0002__a_r_0012_0003__number [arg1] z_000_12_a_cat_mouse_1 r_0012_0001__Enter->z_000_12_a_cat_mouse_1 [arg0] r_0012_0006__and and r_0012_0002__a_r_0012_0003__number->r_0012_0006__and between r_0012_0005__0 0 r_0012_0006__and->r_0012_0005__0 [conj1] r_0012_0007__2 2 r_0012_0006__and->r_0012_0007__2 [conj2] r_0012_0008__to_r_0012_0009__say to say r_0012_0008__to_r_0012_0009__say->z_000_12_a_cat_mouse_1 [arg0] r_0012_0016__want want r_0012_0008__to_r_0012_0009__say->r_0012_0016__want [arg1] r_0012_0015__you you r_0012_0016__want->r_0012_0015__you [arg0] r_0012_0017__to_r_0012_0018__run to run r_0012_0016__want->r_0012_0017__to_r_0012_0018__run [arg1] r_0012_0011__far far r_0012_0010__how how r_0012_0011__far->r_0012_0010__how [qual] r_0012_0013__the_r_0012_0014__right the right r_0012_0011__far->r_0012_0013__the_r_0012_0014__right to r_0012_0017__to_r_0012_0018__run->r_0012_0011__far [clr] r_0012_0017__to_r_0012_0018__run->r_0012_0015__you [arg0] z_000_12_a_cat_mouse_23 z_000_12_a_cat_mouse_23->r_0012_0001__Enter [scope] z_000_12_a_cat_mouse_23->r_0012_0008__to_r_0012_0009__say [restriction] 
arc(r_0012_0001__Enter, r_0012_0002__a_r_0012_0003__number, arg1).
arc(r_0012_0001__Enter, z_000_12_a_cat_mouse_1, arg0).
arc(r_0012_0002__a_r_0012_0003__number, r_0012_0006__and, r_0012_0004__between).
arc(r_0012_0006__and, r_0012_0005__0, conj1).
arc(r_0012_0006__and, r_0012_0007__2, conj2).
arc(r_0012_0008__to_r_0012_0009__say, r_0012_0016__want, arg1).
arc(r_0012_0008__to_r_0012_0009__say, z_000_12_a_cat_mouse_1, arg0).
arc(r_0012_0011__far, r_0012_0010__how, qual32).
arc(r_0012_0011__far, r_0012_0013__the_r_0012_0014__right, r_0012_0012__to).
arc(r_0012_0016__want, r_0012_0015__you, arg0).
arc(r_0012_0016__want, r_0012_0017__to_r_0012_0018__run, arg1).
arc(r_0012_0017__to_r_0012_0018__run, r_0012_0011__far, clr51).
arc(r_0012_0017__to_r_0012_0018__run, r_0012_0015__you, arg0).
arc(z_000_12_a_cat_mouse_23, r_0012_0001__Enter, scope).
arc(z_000_12_a_cat_mouse_23, r_0012_0008__to_r_0012_0009__say, restriction).


%3 z_000_12_a_cat_mouse_23 r_0012_0008__to_r_0012_0009__say to say z_000_12_a_cat_mouse_23->r_0012_0008__to_r_0012_0009__say [conj1] r_0012_0001__Enter Enter z_000_12_a_cat_mouse_23->r_0012_0001__Enter [conj2] r_0012_0016__want want r_0012_0008__to_r_0012_0009__say->r_0012_0016__want [arg1] z_000_12_a_cat_mouse_1 r_0012_0008__to_r_0012_0009__say->z_000_12_a_cat_mouse_1 [arg0] r_0012_0001__Enter->z_000_12_a_cat_mouse_1 [arg0] r_0012_0002__a_r_0012_0003__number a number r_0012_0001__Enter->r_0012_0002__a_r_0012_0003__number [arg1] r_0012_0017__to_r_0012_0018__run to run r_0012_0015__you you r_0012_0017__to_r_0012_0018__run->r_0012_0015__you [arg0] r_0012_0011__far far r_0012_0017__to_r_0012_0018__run->r_0012_0011__far [clr] r_0012_0013__the_r_0012_0014__right the right r_0012_0011__far->r_0012_0013__the_r_0012_0014__right to r_0012_0010__how how r_0012_0011__far->r_0012_0010__how [qual] r_0012_0016__want->r_0012_0017__to_r_0012_0018__run [arg1] r_0012_0016__want->r_0012_0015__you [arg0] r_0012_0006__and and r_0012_0007__2 2 r_0012_0006__and->r_0012_0007__2 [conj2] r_0012_0005__0 0 r_0012_0006__and->r_0012_0005__0 [conj1] r_0012_0002__a_r_0012_0003__number->r_0012_0006__and between 
fof(formula,axiom,
    ? [R_0012_0005__0,R_0012_0007__2,R_0012_0006__AND,R_0012_0002__A_R_0012_0003__NUMBER,Z_000_12_A_CAT_MOUSE_1,R_0012_0001__ENTER,R_0012_0015__YOU,R_0012_0010__HOW,R_0012_0013__THE_R_0012_0014__RIGHT,R_0012_0011__FAR,R_0012_0017__TO_R_0012_0018__RUN,R_0012_0016__WANT,R_0012_0008__TO_R_0012_0009__SAY,Z_000_12_A_CAT_MOUSE_23] :
      ( r_0012_0005__0(R_0012_0005__0)
      & r_0012_0007__2(R_0012_0007__2)
      & r_0012_0010__how(R_0012_0010__HOW)
      & r_0012_0013__the_r_0012_0014__right(R_0012_0013__THE_R_0012_0014__RIGHT)
      & r_0012_0015__you(R_0012_0015__YOU)
      & z_000_12_a_cat_mouse_1(Z_000_12_A_CAT_MOUSE_1)
      & z_000_12_a_cat_mouse_23(Z_000_12_A_CAT_MOUSE_23)
      & has_conj1(Z_000_12_A_CAT_MOUSE_23,R_0012_0008__TO_R_0012_0009__SAY)
      & r_0012_0008__to_r_0012_0009__say(R_0012_0008__TO_R_0012_0009__SAY)
      & has_arg0(R_0012_0008__TO_R_0012_0009__SAY,Z_000_12_A_CAT_MOUSE_1)
      & has_arg1(R_0012_0008__TO_R_0012_0009__SAY,R_0012_0016__WANT)
      & r_0012_0016__want(R_0012_0016__WANT)
      & has_arg1(R_0012_0016__WANT,R_0012_0017__TO_R_0012_0018__RUN)
      & r_0012_0017__to_r_0012_0018__run(R_0012_0017__TO_R_0012_0018__RUN)
      & has_arg0(R_0012_0017__TO_R_0012_0018__RUN,R_0012_0015__YOU)
      & has_clr51(R_0012_0017__TO_R_0012_0018__RUN,R_0012_0011__FAR)
      & r_0012_0011__far(R_0012_0011__FAR)
      & has_r_0012_0012__to(R_0012_0011__FAR,R_0012_0013__THE_R_0012_0014__RIGHT)
      & has_qual32(R_0012_0011__FAR,R_0012_0010__HOW)
      & has_arg0(R_0012_0016__WANT,R_0012_0015__YOU)
      & has_conj2(Z_000_12_A_CAT_MOUSE_23,R_0012_0001__ENTER)
      & r_0012_0001__Enter(R_0012_0001__ENTER)
      & has_arg0(R_0012_0001__ENTER,Z_000_12_A_CAT_MOUSE_1)
      & has_arg1(R_0012_0001__ENTER,R_0012_0002__A_R_0012_0003__NUMBER)
      & r_0012_0002__a_r_0012_0003__number(R_0012_0002__A_R_0012_0003__NUMBER)
      & has_r_0012_0004__between(R_0012_0002__A_R_0012_0003__NUMBER,R_0012_0006__AND)
      & r_0012_0006__and(R_0012_0006__AND)
      & has_conj2(R_0012_0006__AND,R_0012_0007__2)
      & has_conj1(R_0012_0006__AND,R_0012_0005__0) ) ).


n12_a_cat_mouse n12_a_cat_mouse__1_1_1 Enter n12_a_cat_mouse__1_2_1_1 a n12_a_cat_mouse__1_2_2_1 number n12_a_cat_mouse__1_2_3_1_1 between n12_a_cat_mouse__1_2_3_2_1_1_1_1 0 n12_a_cat_mouse__1_2_3_2_1_2_1_1 and n12_a_cat_mouse__1_2_3_2_1_2_2_1_1 2 n12_a_cat_mouse__1_3_1_1_1 to n12_a_cat_mouse__1_3_1_2_1 say n12_a_cat_mouse__1_3_1_3_1_1_1_1_1 how n12_a_cat_mouse__1_3_1_3_1_1_2_1 far n12_a_cat_mouse__1_3_1_3_1_1_3_1_1 to n12_a_cat_mouse__1_3_1_3_1_1_3_2_1_1 the n12_a_cat_mouse__1_3_1_3_1_1_3_2_2_1 right n12_a_cat_mouse__1_3_1_3_1_2_1_1 you n12_a_cat_mouse__1_3_1_3_1_3_1 want n12_a_cat_mouse__1_3_1_3_1_4_1_1 *ICH*-121 n12_a_cat_mouse__1_3_1_3_1_4_2_1 to n12_a_cat_mouse__1_3_1_3_1_4_3_1 run n12_a_cat_mouse__1_4_1 . n12_a_cat_mouse__1 IP-IMP n12_a_cat_mouse__1_1 VB;_Tn_ n12_a_cat_mouse__1->n12_a_cat_mouse__1_1 n12_a_cat_mouse__1_2 NP-OB1 n12_a_cat_mouse__1->n12_a_cat_mouse__1_2 n12_a_cat_mouse__1_3 PP-SCON n12_a_cat_mouse__1->n12_a_cat_mouse__1_3 n12_a_cat_mouse__1_4 PUNC n12_a_cat_mouse__1->n12_a_cat_mouse__1_4 n12_a_cat_mouse__1_1->n12_a_cat_mouse__1_1_1 n12_a_cat_mouse__1_2_1 D n12_a_cat_mouse__1_2->n12_a_cat_mouse__1_2_1 n12_a_cat_mouse__1_2_2 N n12_a_cat_mouse__1_2->n12_a_cat_mouse__1_2_2 n12_a_cat_mouse__1_2_3 PP n12_a_cat_mouse__1_2->n12_a_cat_mouse__1_2_3 n12_a_cat_mouse__1_2_1->n12_a_cat_mouse__1_2_1_1 n12_a_cat_mouse__1_2_2->n12_a_cat_mouse__1_2_2_1 n12_a_cat_mouse__1_2_3_1 P-ROLE n12_a_cat_mouse__1_2_3->n12_a_cat_mouse__1_2_3_1 n12_a_cat_mouse__1_2_3_2 NP n12_a_cat_mouse__1_2_3->n12_a_cat_mouse__1_2_3_2 n12_a_cat_mouse__1_2_3_1->n12_a_cat_mouse__1_2_3_1_1 n12_a_cat_mouse__1_2_3_2_1 NLYR n12_a_cat_mouse__1_2_3_2->n12_a_cat_mouse__1_2_3_2_1 n12_a_cat_mouse__1_2_3_2_1_1 NLYR n12_a_cat_mouse__1_2_3_2_1->n12_a_cat_mouse__1_2_3_2_1_1 n12_a_cat_mouse__1_2_3_2_1_2 CONJP n12_a_cat_mouse__1_2_3_2_1->n12_a_cat_mouse__1_2_3_2_1_2 n12_a_cat_mouse__1_2_3_2_1_1_1 NUM n12_a_cat_mouse__1_2_3_2_1_1->n12_a_cat_mouse__1_2_3_2_1_1_1 n12_a_cat_mouse__1_2_3_2_1_1_1->n12_a_cat_mouse__1_2_3_2_1_1_1_1 n12_a_cat_mouse__1_2_3_2_1_2_1 CONJ n12_a_cat_mouse__1_2_3_2_1_2->n12_a_cat_mouse__1_2_3_2_1_2_1 n12_a_cat_mouse__1_2_3_2_1_2_2 NLYR n12_a_cat_mouse__1_2_3_2_1_2->n12_a_cat_mouse__1_2_3_2_1_2_2 n12_a_cat_mouse__1_2_3_2_1_2_1->n12_a_cat_mouse__1_2_3_2_1_2_1_1 n12_a_cat_mouse__1_2_3_2_1_2_2_1 NUM n12_a_cat_mouse__1_2_3_2_1_2_2->n12_a_cat_mouse__1_2_3_2_1_2_2_1 n12_a_cat_mouse__1_2_3_2_1_2_2_1->n12_a_cat_mouse__1_2_3_2_1_2_2_1_1 n12_a_cat_mouse__1_3_1 IP-INF2 n12_a_cat_mouse__1_3->n12_a_cat_mouse__1_3_1 n12_a_cat_mouse__1_3_1_1 TO n12_a_cat_mouse__1_3_1->n12_a_cat_mouse__1_3_1_1 n12_a_cat_mouse__1_3_1_2 VB;_Tw_ n12_a_cat_mouse__1_3_1->n12_a_cat_mouse__1_3_1_2 n12_a_cat_mouse__1_3_1_3 CP-QUE-OB1 n12_a_cat_mouse__1_3_1->n12_a_cat_mouse__1_3_1_3 n12_a_cat_mouse__1_3_1_1->n12_a_cat_mouse__1_3_1_1_1 n12_a_cat_mouse__1_3_1_2->n12_a_cat_mouse__1_3_1_2_1 n12_a_cat_mouse__1_3_1_3_1 IP-SUB n12_a_cat_mouse__1_3_1_3->n12_a_cat_mouse__1_3_1_3_1 n12_a_cat_mouse__1_3_1_3_1_1 ADVP-121 n12_a_cat_mouse__1_3_1_3_1->n12_a_cat_mouse__1_3_1_3_1_1 n12_a_cat_mouse__1_3_1_3_1_2 NP-SBJ n12_a_cat_mouse__1_3_1_3_1->n12_a_cat_mouse__1_3_1_3_1_2 n12_a_cat_mouse__1_3_1_3_1_3 VBP;_Tt_ n12_a_cat_mouse__1_3_1_3_1->n12_a_cat_mouse__1_3_1_3_1_3 n12_a_cat_mouse__1_3_1_3_1_4 IP-INF-OB1 n12_a_cat_mouse__1_3_1_3_1->n12_a_cat_mouse__1_3_1_3_1_4 n12_a_cat_mouse__1_3_1_3_1_1_1 ADVP n12_a_cat_mouse__1_3_1_3_1_1->n12_a_cat_mouse__1_3_1_3_1_1_1 n12_a_cat_mouse__1_3_1_3_1_1_2 ADV n12_a_cat_mouse__1_3_1_3_1_1->n12_a_cat_mouse__1_3_1_3_1_1_2 n12_a_cat_mouse__1_3_1_3_1_1_3 PP n12_a_cat_mouse__1_3_1_3_1_1->n12_a_cat_mouse__1_3_1_3_1_1_3 n12_a_cat_mouse__1_3_1_3_1_1_1_1 WADV n12_a_cat_mouse__1_3_1_3_1_1_1->n12_a_cat_mouse__1_3_1_3_1_1_1_1 n12_a_cat_mouse__1_3_1_3_1_1_1_1->n12_a_cat_mouse__1_3_1_3_1_1_1_1_1 n12_a_cat_mouse__1_3_1_3_1_1_2->n12_a_cat_mouse__1_3_1_3_1_1_2_1 n12_a_cat_mouse__1_3_1_3_1_1_3_1 P-ROLE n12_a_cat_mouse__1_3_1_3_1_1_3->n12_a_cat_mouse__1_3_1_3_1_1_3_1 n12_a_cat_mouse__1_3_1_3_1_1_3_2 NP n12_a_cat_mouse__1_3_1_3_1_1_3->n12_a_cat_mouse__1_3_1_3_1_1_3_2 n12_a_cat_mouse__1_3_1_3_1_1_3_1->n12_a_cat_mouse__1_3_1_3_1_1_3_1_1 n12_a_cat_mouse__1_3_1_3_1_1_3_2_1 D n12_a_cat_mouse__1_3_1_3_1_1_3_2->n12_a_cat_mouse__1_3_1_3_1_1_3_2_1 n12_a_cat_mouse__1_3_1_3_1_1_3_2_2 N n12_a_cat_mouse__1_3_1_3_1_1_3_2->n12_a_cat_mouse__1_3_1_3_1_1_3_2_2 n12_a_cat_mouse__1_3_1_3_1_1_3_2_1->n12_a_cat_mouse__1_3_1_3_1_1_3_2_1_1 n12_a_cat_mouse__1_3_1_3_1_1_3_2_2->n12_a_cat_mouse__1_3_1_3_1_1_3_2_2_1 n12_a_cat_mouse__1_3_1_3_1_2_1 PRO n12_a_cat_mouse__1_3_1_3_1_2->n12_a_cat_mouse__1_3_1_3_1_2_1 n12_a_cat_mouse__1_3_1_3_1_2_1->n12_a_cat_mouse__1_3_1_3_1_2_1_1 n12_a_cat_mouse__1_3_1_3_1_3->n12_a_cat_mouse__1_3_1_3_1_3_1 n12_a_cat_mouse__1_3_1_3_1_4_1 ADVP-CLR n12_a_cat_mouse__1_3_1_3_1_4->n12_a_cat_mouse__1_3_1_3_1_4_1 n12_a_cat_mouse__1_3_1_3_1_4_2 TO n12_a_cat_mouse__1_3_1_3_1_4->n12_a_cat_mouse__1_3_1_3_1_4_2 n12_a_cat_mouse__1_3_1_3_1_4_3 VB;_Ip_ n12_a_cat_mouse__1_3_1_3_1_4->n12_a_cat_mouse__1_3_1_3_1_4_3 n12_a_cat_mouse__1_3_1_3_1_4_1->n12_a_cat_mouse__1_3_1_3_1_4_1_1 n12_a_cat_mouse__1_3_1_3_1_4_2->n12_a_cat_mouse__1_3_1_3_1_4_2_1 n12_a_cat_mouse__1_3_1_3_1_4_3->n12_a_cat_mouse__1_3_1_3_1_4_3_1 n12_a_cat_mouse__1_4->n12_a_cat_mouse__1_4_1 
( (IP-IMP (VB;_Tn_ Enter;{enter})
          (NP-OB1 (D a;{a})
                  (N number;{number})
                  (PP (P-ROLE between;{between})
                      (NP (NLYR (NLYR (NUM 0))
                                (CONJP (CONJ and;{and})
                                       (NLYR (NUM 2)))))))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_Tw_ say;{say})
                            (CP-QUE-OB1 (IP-SUB (ADVP-121 (ADVP (WADV how;{how}))
                                                          (ADV far;{far})
                                                          (PP (P-ROLE to;{to})
                                                              (NP (D the;{the})
                                                                  (N right;{right}))))
                                                (NP-SBJ (PRO you;{you}))
                                                (VBP;_Tt_ want;{want})
                                                (IP-INF-OB1 (ADVP-CLR *ICH*-121)
                                                            (TO to;{to})
                                                            (VB;_Ip_ run;{run[far]}))))))
          (PUNC .))
  (ID 12_a_cat_mouse;1))