10_a_cat_mouse
The cat always jumps towards you, but he's not very good at judging 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))
arc(r_0010_0004__jumps_r_0010_0005__towards,r_0010_0001__The_r_0010_0002__cat,arg0).
arc(r_0010_0004__jumps_r_0010_0005__towards,r_0010_0003__always,nim).
arc(r_0010_0004__jumps_r_0010_0005__towards,r_0010_0006__you,arg1).
arc(r_0010_0008__but,r_0010_0004__jumps_r_0010_0005__towards,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,qual).
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_0010_5009,arg0).
fof(formula,axiom,
? [R_0010_0001__THE_R_0010_0002__CAT,R_0010_0003__ALWAYS,R_0010_0006__YOU,R_0010_0004__JUMPS_R_0010_0005__TOWARDS,R_0010_0011__NOT_R_0010_0012__VERY,R_0010_0016__DISTANCES,Z_0010_5009,R_0010_0015__JUDGING,R_0010_0013__GOOD,R_0010_0010___APOS_S,R_0010_0008__BUT] :
( r_0010_0001__The_r_0010_0002__cat(R_0010_0001__THE_R_0010_0002__CAT)
& r_0010_0003__always(R_0010_0003__ALWAYS)
& r_0010_0006__you(R_0010_0006__YOU)
& r_0010_0011__not_r_0010_0012__very(R_0010_0011__NOT_R_0010_0012__VERY)
& r_0010_0016__distances(R_0010_0016__DISTANCES)
& z_0010_5009(Z_0010_5009)
& r_0010_0008__but(R_0010_0008__BUT)
& has_conj2(R_0010_0008__BUT,R_0010_0010___APOS_S)
& r_0010_0010___apos_s(R_0010_0010___APOS_S)
& has_prd(R_0010_0010___APOS_S,R_0010_0013__GOOD)
& r_0010_0013__good(R_0010_0013__GOOD)
& has_r_0010_0014__at(R_0010_0013__GOOD,R_0010_0015__JUDGING)
& r_0010_0015__judging(R_0010_0015__JUDGING)
& has_arg0(R_0010_0015__JUDGING,Z_0010_5009)
& has_arg1(R_0010_0015__JUDGING,R_0010_0016__DISTANCES)
& has_qual(R_0010_0013__GOOD,R_0010_0011__NOT_R_0010_0012__VERY)
& has_arg0(R_0010_0010___APOS_S,R_0010_0001__THE_R_0010_0002__CAT)
& has_conj1(R_0010_0008__BUT,R_0010_0004__JUMPS_R_0010_0005__TOWARDS)
& r_0010_0004__jumps_r_0010_0005__towards(R_0010_0004__JUMPS_R_0010_0005__TOWARDS)
& has_arg1(R_0010_0004__JUMPS_R_0010_0005__TOWARDS,R_0010_0006__YOU)
& has_nim(R_0010_0004__JUMPS_R_0010_0005__TOWARDS,R_0010_0003__ALWAYS)
& has_arg0(R_0010_0004__JUMPS_R_0010_0005__TOWARDS,R_0010_0001__THE_R_0010_0002__CAT) ) ).