10_a_cat_mouse
The cat always jumps towards you, but he's not very good at judging distances.
arc(r_0010_0004__jumps, r_0010_0001__The_r_0010_0002__cat, arg0).
arc(r_0010_0004__jumps, r_0010_0003__always, nim9).
arc(r_0010_0004__jumps, r_0010_0006__you, r_0010_0005__towards_clr17).
arc(r_0010_0008__but, r_0010_0004__jumps, conj1).
arc(r_0010_0008__but, r_0010_0010___apos_s, conj2).
arc(r_0010_0010___apos_s, r_0010_0001__The_r_0010_0002__cat, arg0).
arc(r_0010_0010___apos_s, r_0010_0013__good, prd).
arc(r_0010_0013__good, r_0010_0011__not_r_0010_0012__very, qual32).
arc(r_0010_0013__good, r_0010_0015__judging, r_0010_0014__at).
arc(r_0010_0015__judging, r_0010_0016__distances, arg1).
arc(r_0010_0015__judging, z_000_10_a_cat_mouse_42, arg0).
fof(formula,axiom,
? [R_10_8_BUT,R_10_4_JUMPS,R_10_3_ALWAYS,R_10_6_YOU,R_10_10__APOS_S,R_10_1_THE_CAT,R_10_13_GOOD,R_10_11_NOT_VERY,R_10_15_JUDGING,Z_10_A_CAT_MOUSE_42,R_10_16_DISTANCES] :
( always(R_10_3_ALWAYS)
& you(R_10_6_YOU)
& the_cat(R_10_1_THE_CAT)
& not_very(R_10_11_NOT_VERY)
& distances(R_10_16_DISTANCES)
& but(R_10_8_BUT)
& conj1(R_10_8_BUT,R_10_4_JUMPS)
& jumps(R_10_4_JUMPS,R_10_1_THE_CAT)
& nim9(R_10_4_JUMPS,R_10_3_ALWAYS)
& towards_clr17(R_10_4_JUMPS,R_10_6_YOU)
& conj2(R_10_8_BUT,R_10_10__APOS_S)
& _apos_s(R_10_10__APOS_S,R_10_1_THE_CAT,R_10_13_GOOD)
& good(R_10_13_GOOD)
& qual32(R_10_13_GOOD,R_10_11_NOT_VERY)
& at(R_10_13_GOOD,R_10_15_JUDGING)
& judging(R_10_15_JUDGING,Z_10_A_CAT_MOUSE_42,R_10_16_DISTANCES) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{CAT} (D The;{the})
(N cat;{cat}))
(ADVP-NIM (ADV always;{always}))
(VBP;_Ipr_ jumps;{jump[towards]})
(PP-CLR (P-ROLE towards;{towards})
(NP (PRO you;{you}))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{CAT} (PRO he;{he}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (ADVP (NEG not;{not})
(ADV very;{very}))
(ADJ good;{good})
(PP (P-ROLE at;{at})
(IP-PPL (VAG;_Tn_ judging;{judge})
(NP-OB1 (NS distances;{distance}))))))))
(PUNC .))
(ID 10_a_cat_mouse;1))