14_a_cat_mouse
if you enter a number greater than 2 then the mouse will freeze and the cat will move!
( (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))
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,attrib).
arc(r_0014_0006__greater,r_0014_0008__2,r_0014_0007__than).
arc(r_0014_0012__will,r_0014_0009__then,nim).
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,nim).
arc(r_0014_0017__will,r_0014_0018__move,scope).
arc(r_0014_0018__move,r_0014_0015__the_r_0014_0016__cat,arg0).
fof(formula,axiom,
! [R_0014_0003__ENTER,R_0014_0002__YOU,R_0014_0008__2,R_0014_0006__GREATER,R_0014_0004__A_R_0014_0005__NUMBER] :
( ( r_0014_0002__you(R_0014_0002__YOU)
& r_0014_0008__2(R_0014_0008__2)
& r_0014_0003__enter(R_0014_0003__ENTER)
& has_arg1(R_0014_0003__ENTER,R_0014_0004__A_R_0014_0005__NUMBER)
& r_0014_0004__a_r_0014_0005__number(R_0014_0004__A_R_0014_0005__NUMBER)
& has_attrib(R_0014_0004__A_R_0014_0005__NUMBER,R_0014_0006__GREATER)
& r_0014_0006__greater(R_0014_0006__GREATER)
& has_r_0014_0007__than(R_0014_0006__GREATER,R_0014_0008__2)
& has_arg0(R_0014_0003__ENTER,R_0014_0002__YOU) )
=> ? [R_0014_0009__THEN,R_0014_0010__THE_R_0014_0011__MOUSE,R_0014_0012__WILL_R_0014_0013__FREEZE,R_0014_0015__THE_R_0014_0016__CAT,R_0014_0017__WILL_R_0014_0018__MOVE,R_0014_0014__AND] :
( r_0014_0009__then(R_0014_0009__THEN)
& r_0014_0010__the_r_0014_0011__mouse(R_0014_0010__THE_R_0014_0011__MOUSE)
& r_0014_0015__the_r_0014_0016__cat(R_0014_0015__THE_R_0014_0016__CAT)
& r_0014_0014__and(R_0014_0014__AND)
& has_conj2(R_0014_0014__AND,R_0014_0017__WILL_R_0014_0018__MOVE)
& r_0014_0017__will_r_0014_0018__move(R_0014_0017__WILL_R_0014_0018__MOVE)
& has_arg0(R_0014_0017__WILL_R_0014_0018__MOVE,R_0014_0015__THE_R_0014_0016__CAT)
& has_nim(R_0014_0017__WILL_R_0014_0018__MOVE,R_0014_0009__THEN)
& has_conj1(R_0014_0014__AND,R_0014_0012__WILL_R_0014_0013__FREEZE)
& r_0014_0012__will_r_0014_0013__freeze(R_0014_0012__WILL_R_0014_0013__FREEZE)
& has_arg0(R_0014_0012__WILL_R_0014_0013__FREEZE,R_0014_0010__THE_R_0014_0011__MOUSE)
& has_nim(R_0014_0012__WILL_R_0014_0013__FREEZE,R_0014_0009__THEN) ) ) ).