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_0017__will_r_0014_0018__move will move 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] r_0014_0009__then then r_0014_0017__will_r_0014_0018__move->r_0014_0009__then [nim] r_0014_0014__and and r_0014_0014__and->r_0014_0017__will_r_0014_0018__move [conj2] 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_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_0006__greater greater r_0014_0008__2 2 r_0014_0006__greater->r_0014_0008__2 than r_0014_0004__a_r_0014_0005__number a number r_0014_0004__a_r_0014_0005__number->r_0014_0006__greater [attrib] r_0014_0003__enter enter r_0014_0003__enter->r_0014_0004__a_r_0014_0005__number [arg1] r_0014_0002__you you r_0014_0003__enter->r_0014_0002__you [arg0] r_0014_0001__if if r_0014_0001__if->r_0014_0014__and [scope] r_0014_0001__if->r_0014_0003__enter [restriction] 
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__1_1_1_1 if n14_a_cat_mouse__1_1_2_1_1_1 you n14_a_cat_mouse__1_1_2_2_1 enter n14_a_cat_mouse__1_1_2_3_1_1 a n14_a_cat_mouse__1_1_2_3_2_1 number n14_a_cat_mouse__1_1_2_3_3_1_1 greater n14_a_cat_mouse__1_1_2_3_3_2_1_1 than n14_a_cat_mouse__1_1_2_3_3_2_2_1_1 2 n14_a_cat_mouse__1_2_1_1 then n14_a_cat_mouse__1_3_1_1_1_1 the n14_a_cat_mouse__1_3_1_1_2_1 mouse n14_a_cat_mouse__1_3_1_2_1 will n14_a_cat_mouse__1_3_1_3_1_1 freeze n14_a_cat_mouse__1_3_2_1_1 and n14_a_cat_mouse__1_3_2_2_1_1_1 the n14_a_cat_mouse__1_3_2_2_1_2_1 cat n14_a_cat_mouse__1_3_2_2_2_1 will n14_a_cat_mouse__1_3_2_2_3_1_1 move n14_a_cat_mouse__1_4_1 ! n14_a_cat_mouse__1 IP-MAT n14_a_cat_mouse__1_1 PP-SCON n14_a_cat_mouse__1->n14_a_cat_mouse__1_1 n14_a_cat_mouse__1_2 ADVP-NIM n14_a_cat_mouse__1->n14_a_cat_mouse__1_2 n14_a_cat_mouse__1_3 ILYR n14_a_cat_mouse__1->n14_a_cat_mouse__1_3 n14_a_cat_mouse__1_4 PUNC n14_a_cat_mouse__1->n14_a_cat_mouse__1_4 n14_a_cat_mouse__1_1_1 P-CONN n14_a_cat_mouse__1_1->n14_a_cat_mouse__1_1_1 n14_a_cat_mouse__1_1_2 IP-ADV n14_a_cat_mouse__1_1->n14_a_cat_mouse__1_1_2 n14_a_cat_mouse__1_1_1->n14_a_cat_mouse__1_1_1_1 n14_a_cat_mouse__1_1_2_1 NP-SBJ n14_a_cat_mouse__1_1_2->n14_a_cat_mouse__1_1_2_1 n14_a_cat_mouse__1_1_2_2 VBP;_Tn_ n14_a_cat_mouse__1_1_2->n14_a_cat_mouse__1_1_2_2 n14_a_cat_mouse__1_1_2_3 NP-OB1 n14_a_cat_mouse__1_1_2->n14_a_cat_mouse__1_1_2_3 n14_a_cat_mouse__1_1_2_1_1 PRO n14_a_cat_mouse__1_1_2_1->n14_a_cat_mouse__1_1_2_1_1 n14_a_cat_mouse__1_1_2_1_1->n14_a_cat_mouse__1_1_2_1_1_1 n14_a_cat_mouse__1_1_2_2->n14_a_cat_mouse__1_1_2_2_1 n14_a_cat_mouse__1_1_2_3_1 D n14_a_cat_mouse__1_1_2_3->n14_a_cat_mouse__1_1_2_3_1 n14_a_cat_mouse__1_1_2_3_2 N n14_a_cat_mouse__1_1_2_3->n14_a_cat_mouse__1_1_2_3_2 n14_a_cat_mouse__1_1_2_3_3 ADJP n14_a_cat_mouse__1_1_2_3->n14_a_cat_mouse__1_1_2_3_3 n14_a_cat_mouse__1_1_2_3_1->n14_a_cat_mouse__1_1_2_3_1_1 n14_a_cat_mouse__1_1_2_3_2->n14_a_cat_mouse__1_1_2_3_2_1 n14_a_cat_mouse__1_1_2_3_3_1 ADJR n14_a_cat_mouse__1_1_2_3_3->n14_a_cat_mouse__1_1_2_3_3_1 n14_a_cat_mouse__1_1_2_3_3_2 PP n14_a_cat_mouse__1_1_2_3_3->n14_a_cat_mouse__1_1_2_3_3_2 n14_a_cat_mouse__1_1_2_3_3_1->n14_a_cat_mouse__1_1_2_3_3_1_1 n14_a_cat_mouse__1_1_2_3_3_2_1 P-ROLE n14_a_cat_mouse__1_1_2_3_3_2->n14_a_cat_mouse__1_1_2_3_3_2_1 n14_a_cat_mouse__1_1_2_3_3_2_2 NP n14_a_cat_mouse__1_1_2_3_3_2->n14_a_cat_mouse__1_1_2_3_3_2_2 n14_a_cat_mouse__1_1_2_3_3_2_1->n14_a_cat_mouse__1_1_2_3_3_2_1_1 n14_a_cat_mouse__1_1_2_3_3_2_2_1 NUM n14_a_cat_mouse__1_1_2_3_3_2_2->n14_a_cat_mouse__1_1_2_3_3_2_2_1 n14_a_cat_mouse__1_1_2_3_3_2_2_1->n14_a_cat_mouse__1_1_2_3_3_2_2_1_1 n14_a_cat_mouse__1_2_1 ADV n14_a_cat_mouse__1_2->n14_a_cat_mouse__1_2_1 n14_a_cat_mouse__1_2_1->n14_a_cat_mouse__1_2_1_1 n14_a_cat_mouse__1_3_1 ILYR n14_a_cat_mouse__1_3->n14_a_cat_mouse__1_3_1 n14_a_cat_mouse__1_3_2 CONJP n14_a_cat_mouse__1_3->n14_a_cat_mouse__1_3_2 n14_a_cat_mouse__1_3_1_1 NP-SBJ n14_a_cat_mouse__1_3_1->n14_a_cat_mouse__1_3_1_1 n14_a_cat_mouse__1_3_1_2 MD;_cat_Vi_ n14_a_cat_mouse__1_3_1->n14_a_cat_mouse__1_3_1_2 n14_a_cat_mouse__1_3_1_3 IP-INF-CAT n14_a_cat_mouse__1_3_1->n14_a_cat_mouse__1_3_1_3 n14_a_cat_mouse__1_3_1_1_1 D n14_a_cat_mouse__1_3_1_1->n14_a_cat_mouse__1_3_1_1_1 n14_a_cat_mouse__1_3_1_1_2 N n14_a_cat_mouse__1_3_1_1->n14_a_cat_mouse__1_3_1_1_2 n14_a_cat_mouse__1_3_1_1_1->n14_a_cat_mouse__1_3_1_1_1_1 n14_a_cat_mouse__1_3_1_1_2->n14_a_cat_mouse__1_3_1_1_2_1 n14_a_cat_mouse__1_3_1_2->n14_a_cat_mouse__1_3_1_2_1 n14_a_cat_mouse__1_3_1_3_1 VB;_I_ n14_a_cat_mouse__1_3_1_3->n14_a_cat_mouse__1_3_1_3_1 n14_a_cat_mouse__1_3_1_3_1->n14_a_cat_mouse__1_3_1_3_1_1 n14_a_cat_mouse__1_3_2_1 CONJ n14_a_cat_mouse__1_3_2->n14_a_cat_mouse__1_3_2_1 n14_a_cat_mouse__1_3_2_2 ILYR n14_a_cat_mouse__1_3_2->n14_a_cat_mouse__1_3_2_2 n14_a_cat_mouse__1_3_2_1->n14_a_cat_mouse__1_3_2_1_1 n14_a_cat_mouse__1_3_2_2_1 NP-SBJ n14_a_cat_mouse__1_3_2_2->n14_a_cat_mouse__1_3_2_2_1 n14_a_cat_mouse__1_3_2_2_2 MD;_cat_Vi_ n14_a_cat_mouse__1_3_2_2->n14_a_cat_mouse__1_3_2_2_2 n14_a_cat_mouse__1_3_2_2_3 IP-INF-CAT n14_a_cat_mouse__1_3_2_2->n14_a_cat_mouse__1_3_2_2_3 n14_a_cat_mouse__1_3_2_2_1_1 D n14_a_cat_mouse__1_3_2_2_1->n14_a_cat_mouse__1_3_2_2_1_1 n14_a_cat_mouse__1_3_2_2_1_2 N n14_a_cat_mouse__1_3_2_2_1->n14_a_cat_mouse__1_3_2_2_1_2 n14_a_cat_mouse__1_3_2_2_1_1->n14_a_cat_mouse__1_3_2_2_1_1_1 n14_a_cat_mouse__1_3_2_2_1_2->n14_a_cat_mouse__1_3_2_2_1_2_1 n14_a_cat_mouse__1_3_2_2_2->n14_a_cat_mouse__1_3_2_2_2_1 n14_a_cat_mouse__1_3_2_2_3_1 VB;_I_ n14_a_cat_mouse__1_3_2_2_3->n14_a_cat_mouse__1_3_2_2_3_1 n14_a_cat_mouse__1_3_2_2_3_1->n14_a_cat_mouse__1_3_2_2_3_1_1 n14_a_cat_mouse__1_4->n14_a_cat_mouse__1_4_1 
( (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))