Context                Previous, Next                Top


14_a_cat_mouse
if you enter a number greater than 2 then the mouse will freeze and the cat will move!

%3 r_0014_0001__if if r_0014_0003__enter enter r_0014_0001__if->r_0014_0003__enter [restriction] r_0014_0014__and and r_0014_0001__if->r_0014_0014__and [scope] r_0014_0002__you you r_0014_0003__enter->r_0014_0002__you [arg0] r_0014_0004__a_r_0014_0005__number a number r_0014_0003__enter->r_0014_0004__a_r_0014_0005__number [arg1] r_0014_0012__will will r_0014_0014__and->r_0014_0012__will [conj1] r_0014_0017__will will r_0014_0014__and->r_0014_0017__will [conj2] r_0014_0006__greater greater r_0014_0004__a_r_0014_0005__number->r_0014_0006__greater [attrib] r_0014_0008__2 2 r_0014_0006__greater->r_0014_0008__2 than r_0014_0009__then then r_0014_0012__will->r_0014_0009__then [nim] r_0014_0013__freeze freeze r_0014_0012__will->r_0014_0013__freeze [scope] r_0014_0010__the_r_0014_0011__mouse the mouse r_0014_0013__freeze->r_0014_0010__the_r_0014_0011__mouse [arg0] r_0014_0017__will->r_0014_0009__then [nim] r_0014_0018__move move r_0014_0017__will->r_0014_0018__move [scope] r_0014_0015__the_r_0014_0016__cat the cat r_0014_0018__move->r_0014_0015__the_r_0014_0016__cat [arg0] 
arc(r_0014_0001__if, r_0014_0003__enter, restriction).
arc(r_0014_0001__if, r_0014_0014__and, scope).
arc(r_0014_0003__enter, r_0014_0002__you, arg0).
arc(r_0014_0003__enter, r_0014_0004__a_r_0014_0005__number, arg1).
arc(r_0014_0004__a_r_0014_0005__number, r_0014_0006__greater, attrib16).
arc(r_0014_0006__greater, r_0014_0008__2, r_0014_0007__than).
arc(r_0014_0012__will, r_0014_0009__then, nim25).
arc(r_0014_0012__will, r_0014_0013__freeze, scope).
arc(r_0014_0013__freeze, r_0014_0010__the_r_0014_0011__mouse, arg0).
arc(r_0014_0014__and, r_0014_0012__will, conj1).
arc(r_0014_0014__and, r_0014_0017__will, conj2).
arc(r_0014_0017__will, r_0014_0009__then, nim25).
arc(r_0014_0017__will, r_0014_0018__move, scope).
arc(r_0014_0018__move, r_0014_0015__the_r_0014_0016__cat, arg0).


%3 r_0014_0001__if if r_0014_0003__enter enter r_0014_0001__if->r_0014_0003__enter [restriction] r_0014_0014__and and r_0014_0001__if->r_0014_0014__and [scope] r_0014_0002__you you r_0014_0003__enter->r_0014_0002__you [arg0] r_0014_0004__a_r_0014_0005__number a number r_0014_0003__enter->r_0014_0004__a_r_0014_0005__number [arg1] r_0014_0012__will_r_0014_0013__freeze will freeze r_0014_0014__and->r_0014_0012__will_r_0014_0013__freeze [conj1] r_0014_0017__will_r_0014_0018__move will move r_0014_0014__and->r_0014_0017__will_r_0014_0018__move [conj2] r_0014_0006__greater greater r_0014_0004__a_r_0014_0005__number->r_0014_0006__greater [attrib] r_0014_0008__2 2 r_0014_0006__greater->r_0014_0008__2 than r_0014_0009__then then r_0014_0012__will_r_0014_0013__freeze->r_0014_0009__then [nim] r_0014_0010__the_r_0014_0011__mouse the mouse r_0014_0012__will_r_0014_0013__freeze->r_0014_0010__the_r_0014_0011__mouse [arg0] r_0014_0017__will_r_0014_0018__move->r_0014_0009__then [nim] r_0014_0015__the_r_0014_0016__cat the cat r_0014_0017__will_r_0014_0018__move->r_0014_0015__the_r_0014_0016__cat [arg0] 
fof(formula,axiom,
    ! [R_14_3_ENTER,R_14_2_YOU,R_14_4_A_NUMBER,R_14_6_GREATER,R_14_8_2] :
      ( ( you(R_14_2_YOU)
        & 2(R_14_8_2)
        & enter(R_14_3_ENTER,R_14_2_YOU,R_14_4_A_NUMBER)
        & a_number(R_14_4_A_NUMBER)
        & attrib16(R_14_4_A_NUMBER,R_14_6_GREATER)
        & greater(R_14_6_GREATER)
        & than(R_14_6_GREATER,R_14_8_2) )
     => ? [R_14_14_AND,R_14_12_WILL_FREEZE,R_14_10_THE_MOUSE,R_14_17_WILL_MOVE,R_14_15_THE_CAT,R_14_9_THEN] :
          ( the_mouse(R_14_10_THE_MOUSE)
          & the_cat(R_14_15_THE_CAT)
          & then(R_14_9_THEN)
          & and(R_14_14_AND)
          & conj1(R_14_14_AND,R_14_12_WILL_FREEZE)
          & will_freeze(R_14_12_WILL_FREEZE,R_14_10_THE_MOUSE)
          & nim25(R_14_12_WILL_FREEZE,R_14_9_THEN)
          & conj2(R_14_14_AND,R_14_17_WILL_MOVE)
          & will_move(R_14_17_WILL_MOVE,R_14_15_THE_CAT)
          & nim25(R_14_17_WILL_MOVE,R_14_9_THEN) ) ) ).


n14_a_cat_mouse n14_a_cat_mouse_4 if n14_a_cat_mouse_8 you n14_a_cat_mouse_10 enter n14_a_cat_mouse_13 a n14_a_cat_mouse_15 number n14_a_cat_mouse_18 greater n14_a_cat_mouse_21 than n14_a_cat_mouse_24 2 n14_a_cat_mouse_27 then n14_a_cat_mouse_32 the n14_a_cat_mouse_34 mouse n14_a_cat_mouse_36 will n14_a_cat_mouse_39 freeze n14_a_cat_mouse_42 and n14_a_cat_mouse_46 the n14_a_cat_mouse_48 cat n14_a_cat_mouse_50 will n14_a_cat_mouse_53 move n14_a_cat_mouse_55 ! n14_a_cat_mouse_1 IP-MAT n14_a_cat_mouse_2 PP-SCON n14_a_cat_mouse_1->n14_a_cat_mouse_2 n14_a_cat_mouse_25 ADVP-NIM n14_a_cat_mouse_1->n14_a_cat_mouse_25 n14_a_cat_mouse_28 ILYR n14_a_cat_mouse_1->n14_a_cat_mouse_28 n14_a_cat_mouse_54 PUNC n14_a_cat_mouse_1->n14_a_cat_mouse_54 n14_a_cat_mouse_3 P-CONN n14_a_cat_mouse_2->n14_a_cat_mouse_3 n14_a_cat_mouse_5 IP-ADV n14_a_cat_mouse_2->n14_a_cat_mouse_5 n14_a_cat_mouse_3->n14_a_cat_mouse_4 n14_a_cat_mouse_6 NP-SBJ n14_a_cat_mouse_5->n14_a_cat_mouse_6 n14_a_cat_mouse_9 VBP;_Tn_ n14_a_cat_mouse_5->n14_a_cat_mouse_9 n14_a_cat_mouse_11 NP-OB1 n14_a_cat_mouse_5->n14_a_cat_mouse_11 n14_a_cat_mouse_7 PRO n14_a_cat_mouse_6->n14_a_cat_mouse_7 n14_a_cat_mouse_7->n14_a_cat_mouse_8 n14_a_cat_mouse_9->n14_a_cat_mouse_10 n14_a_cat_mouse_12 D n14_a_cat_mouse_11->n14_a_cat_mouse_12 n14_a_cat_mouse_14 N n14_a_cat_mouse_11->n14_a_cat_mouse_14 n14_a_cat_mouse_16 ADJP n14_a_cat_mouse_11->n14_a_cat_mouse_16 n14_a_cat_mouse_12->n14_a_cat_mouse_13 n14_a_cat_mouse_14->n14_a_cat_mouse_15 n14_a_cat_mouse_17 ADJR n14_a_cat_mouse_16->n14_a_cat_mouse_17 n14_a_cat_mouse_19 PP n14_a_cat_mouse_16->n14_a_cat_mouse_19 n14_a_cat_mouse_17->n14_a_cat_mouse_18 n14_a_cat_mouse_20 P-ROLE n14_a_cat_mouse_19->n14_a_cat_mouse_20 n14_a_cat_mouse_22 NP n14_a_cat_mouse_19->n14_a_cat_mouse_22 n14_a_cat_mouse_20->n14_a_cat_mouse_21 n14_a_cat_mouse_23 NUM n14_a_cat_mouse_22->n14_a_cat_mouse_23 n14_a_cat_mouse_23->n14_a_cat_mouse_24 n14_a_cat_mouse_26 ADV n14_a_cat_mouse_25->n14_a_cat_mouse_26 n14_a_cat_mouse_26->n14_a_cat_mouse_27 n14_a_cat_mouse_29 ILYR n14_a_cat_mouse_28->n14_a_cat_mouse_29 n14_a_cat_mouse_40 CONJP n14_a_cat_mouse_28->n14_a_cat_mouse_40 n14_a_cat_mouse_30 NP-SBJ n14_a_cat_mouse_29->n14_a_cat_mouse_30 n14_a_cat_mouse_35 MD;_cat_Vi_ n14_a_cat_mouse_29->n14_a_cat_mouse_35 n14_a_cat_mouse_37 IP-INF-CAT n14_a_cat_mouse_29->n14_a_cat_mouse_37 n14_a_cat_mouse_31 D n14_a_cat_mouse_30->n14_a_cat_mouse_31 n14_a_cat_mouse_33 N n14_a_cat_mouse_30->n14_a_cat_mouse_33 n14_a_cat_mouse_31->n14_a_cat_mouse_32 n14_a_cat_mouse_33->n14_a_cat_mouse_34 n14_a_cat_mouse_35->n14_a_cat_mouse_36 n14_a_cat_mouse_38 VB;_I_ n14_a_cat_mouse_37->n14_a_cat_mouse_38 n14_a_cat_mouse_38->n14_a_cat_mouse_39 n14_a_cat_mouse_41 CONJ n14_a_cat_mouse_40->n14_a_cat_mouse_41 n14_a_cat_mouse_43 ILYR n14_a_cat_mouse_40->n14_a_cat_mouse_43 n14_a_cat_mouse_41->n14_a_cat_mouse_42 n14_a_cat_mouse_44 NP-SBJ n14_a_cat_mouse_43->n14_a_cat_mouse_44 n14_a_cat_mouse_49 MD;_cat_Vi_ n14_a_cat_mouse_43->n14_a_cat_mouse_49 n14_a_cat_mouse_51 IP-INF-CAT n14_a_cat_mouse_43->n14_a_cat_mouse_51 n14_a_cat_mouse_45 D n14_a_cat_mouse_44->n14_a_cat_mouse_45 n14_a_cat_mouse_47 N n14_a_cat_mouse_44->n14_a_cat_mouse_47 n14_a_cat_mouse_45->n14_a_cat_mouse_46 n14_a_cat_mouse_47->n14_a_cat_mouse_48 n14_a_cat_mouse_49->n14_a_cat_mouse_50 n14_a_cat_mouse_52 VB;_I_ n14_a_cat_mouse_51->n14_a_cat_mouse_52 n14_a_cat_mouse_52->n14_a_cat_mouse_53 n14_a_cat_mouse_54->n14_a_cat_mouse_55 
( (IP-MAT (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Tn_ enter;{enter})
                           (NP-OB1 (D a;{a})
                                   (N number;{number})
                                   (ADJP (ADJR greater;{great})
                                         (PP (P-ROLE than;{than})
                                             (NP (NUM 2;{2})))))))
          (ADVP-NIM (ADV then;{then}))
          (ILYR (ILYR (NP-SBJ (D the;{the})
                              (N mouse;{mouse}))
                      (MD;_cat_Vi_ will;{will})
                      (IP-INF-CAT (VB;_I_ freeze;{freeze})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{CAT} (D the;{the})
                                           (N cat;{cat}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_I_ move;{move})))))
          (PUNC !))
  (ID 14_a_cat_mouse;11))