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 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 [conj2] z_000_12_a_cat_mouse_23->r_0012_0008__to_r_0012_0009__say [conj1] 
fof(formula,axiom,
    ? [Z_12_A_CAT_MOUSE_23,R_12_8_TO_SAY,R_12_16_WANT,R_12_17_TO_RUN,R_12_15_YOU,R_12_11_FAR,R_12_10_HOW,R_12_13_THE_RIGHT,R_12_1_ENTER,Z_12_A_CAT_MOUSE_1,R_12_2_A_NUMBER,R_12_6_AND,R_12_5_,R_12_7_2] :
      ( you(R_12_15_YOU)
      & how(R_12_10_HOW)
      & the_right(R_12_13_THE_RIGHT)
      & 0(R_12_5_)
      & 2(R_12_7_2)
      & z_12_a_cat_mouse_23(Z_12_A_CAT_MOUSE_23)
      & conj1(Z_12_A_CAT_MOUSE_23,R_12_8_TO_SAY)
      & to_say(R_12_8_TO_SAY,Z_12_A_CAT_MOUSE_1,R_12_16_WANT)
      & want(R_12_16_WANT,R_12_15_YOU,R_12_17_TO_RUN)
      & to_run(R_12_17_TO_RUN,R_12_15_YOU)
      & clr51(R_12_17_TO_RUN,R_12_11_FAR)
      & far(R_12_11_FAR)
      & qual32(R_12_11_FAR,R_12_10_HOW)
      & to(R_12_11_FAR,R_12_13_THE_RIGHT)
      & conj2(Z_12_A_CAT_MOUSE_23,R_12_1_ENTER)
      & enter(R_12_1_ENTER,Z_12_A_CAT_MOUSE_1,R_12_2_A_NUMBER)
      & a_number(R_12_2_A_NUMBER)
      & between(R_12_2_A_NUMBER,R_12_6_AND)
      & and(R_12_6_AND)
      & conj1(R_12_6_AND,R_12_5_)
      & conj2(R_12_6_AND,R_12_7_2) ) ).


n12_a_cat_mouse n12_a_cat_mouse_3 Enter n12_a_cat_mouse_6 a n12_a_cat_mouse_8 number n12_a_cat_mouse_11 between n12_a_cat_mouse_16 0 n12_a_cat_mouse_19 and n12_a_cat_mouse_22 2 n12_a_cat_mouse_26 to n12_a_cat_mouse_28 say n12_a_cat_mouse_34 how n12_a_cat_mouse_36 far n12_a_cat_mouse_39 to n12_a_cat_mouse_42 the n12_a_cat_mouse_44 right n12_a_cat_mouse_47 you n12_a_cat_mouse_49 want n12_a_cat_mouse_52 *ICH*-121 n12_a_cat_mouse_54 to n12_a_cat_mouse_56 run n12_a_cat_mouse_58 . n12_a_cat_mouse_1 IP-IMP n12_a_cat_mouse_2 VB;_Tn_ n12_a_cat_mouse_1->n12_a_cat_mouse_2 n12_a_cat_mouse_4 NP-OB1 n12_a_cat_mouse_1->n12_a_cat_mouse_4 n12_a_cat_mouse_23 PP-SCON n12_a_cat_mouse_1->n12_a_cat_mouse_23 n12_a_cat_mouse_57 PUNC n12_a_cat_mouse_1->n12_a_cat_mouse_57 n12_a_cat_mouse_2->n12_a_cat_mouse_3 n12_a_cat_mouse_5 D n12_a_cat_mouse_4->n12_a_cat_mouse_5 n12_a_cat_mouse_7 N n12_a_cat_mouse_4->n12_a_cat_mouse_7 n12_a_cat_mouse_9 PP n12_a_cat_mouse_4->n12_a_cat_mouse_9 n12_a_cat_mouse_5->n12_a_cat_mouse_6 n12_a_cat_mouse_7->n12_a_cat_mouse_8 n12_a_cat_mouse_10 P-ROLE n12_a_cat_mouse_9->n12_a_cat_mouse_10 n12_a_cat_mouse_12 NP n12_a_cat_mouse_9->n12_a_cat_mouse_12 n12_a_cat_mouse_10->n12_a_cat_mouse_11 n12_a_cat_mouse_13 NLYR n12_a_cat_mouse_12->n12_a_cat_mouse_13 n12_a_cat_mouse_14 NLYR n12_a_cat_mouse_13->n12_a_cat_mouse_14 n12_a_cat_mouse_17 CONJP n12_a_cat_mouse_13->n12_a_cat_mouse_17 n12_a_cat_mouse_15 NUM n12_a_cat_mouse_14->n12_a_cat_mouse_15 n12_a_cat_mouse_15->n12_a_cat_mouse_16 n12_a_cat_mouse_18 CONJ n12_a_cat_mouse_17->n12_a_cat_mouse_18 n12_a_cat_mouse_20 NLYR n12_a_cat_mouse_17->n12_a_cat_mouse_20 n12_a_cat_mouse_18->n12_a_cat_mouse_19 n12_a_cat_mouse_21 NUM n12_a_cat_mouse_20->n12_a_cat_mouse_21 n12_a_cat_mouse_21->n12_a_cat_mouse_22 n12_a_cat_mouse_24 IP-INF2 n12_a_cat_mouse_23->n12_a_cat_mouse_24 n12_a_cat_mouse_25 TO n12_a_cat_mouse_24->n12_a_cat_mouse_25 n12_a_cat_mouse_27 VB;_Tw_ n12_a_cat_mouse_24->n12_a_cat_mouse_27 n12_a_cat_mouse_29 CP-QUE-OB1 n12_a_cat_mouse_24->n12_a_cat_mouse_29 n12_a_cat_mouse_25->n12_a_cat_mouse_26 n12_a_cat_mouse_27->n12_a_cat_mouse_28 n12_a_cat_mouse_30 IP-SUB n12_a_cat_mouse_29->n12_a_cat_mouse_30 n12_a_cat_mouse_31 ADVP-121 n12_a_cat_mouse_30->n12_a_cat_mouse_31 n12_a_cat_mouse_45 NP-SBJ n12_a_cat_mouse_30->n12_a_cat_mouse_45 n12_a_cat_mouse_48 VBP;_Tt_ n12_a_cat_mouse_30->n12_a_cat_mouse_48 n12_a_cat_mouse_50 IP-INF-OB1 n12_a_cat_mouse_30->n12_a_cat_mouse_50 n12_a_cat_mouse_32 ADVP n12_a_cat_mouse_31->n12_a_cat_mouse_32 n12_a_cat_mouse_35 ADV n12_a_cat_mouse_31->n12_a_cat_mouse_35 n12_a_cat_mouse_37 PP n12_a_cat_mouse_31->n12_a_cat_mouse_37 n12_a_cat_mouse_33 WADV n12_a_cat_mouse_32->n12_a_cat_mouse_33 n12_a_cat_mouse_33->n12_a_cat_mouse_34 n12_a_cat_mouse_35->n12_a_cat_mouse_36 n12_a_cat_mouse_38 P-ROLE n12_a_cat_mouse_37->n12_a_cat_mouse_38 n12_a_cat_mouse_40 NP n12_a_cat_mouse_37->n12_a_cat_mouse_40 n12_a_cat_mouse_38->n12_a_cat_mouse_39 n12_a_cat_mouse_41 D n12_a_cat_mouse_40->n12_a_cat_mouse_41 n12_a_cat_mouse_43 N n12_a_cat_mouse_40->n12_a_cat_mouse_43 n12_a_cat_mouse_41->n12_a_cat_mouse_42 n12_a_cat_mouse_43->n12_a_cat_mouse_44 n12_a_cat_mouse_46 PRO n12_a_cat_mouse_45->n12_a_cat_mouse_46 n12_a_cat_mouse_46->n12_a_cat_mouse_47 n12_a_cat_mouse_48->n12_a_cat_mouse_49 n12_a_cat_mouse_51 ADVP-CLR n12_a_cat_mouse_50->n12_a_cat_mouse_51 n12_a_cat_mouse_53 TO n12_a_cat_mouse_50->n12_a_cat_mouse_53 n12_a_cat_mouse_55 VB;_Ip_ n12_a_cat_mouse_50->n12_a_cat_mouse_55 n12_a_cat_mouse_51->n12_a_cat_mouse_52 n12_a_cat_mouse_53->n12_a_cat_mouse_54 n12_a_cat_mouse_55->n12_a_cat_mouse_56 n12_a_cat_mouse_57->n12_a_cat_mouse_58 
( (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))