10_a_cat_mouse
The cat always jumps towards you, but he's not very good at judging distances.

%3 r_0010_0004__jumps jumps r_0010_0001__The_r_0010_0002__cat The cat r_0010_0004__jumps->r_0010_0001__The_r_0010_0002__cat [arg0] r_0010_0003__always always r_0010_0004__jumps->r_0010_0003__always [nim] r_0010_0006__you you r_0010_0004__jumps->r_0010_0006__you towards [clr] r_0010_0008__but but r_0010_0008__but->r_0010_0004__jumps [conj1] r_0010_0010___apos_s 's r_0010_0008__but->r_0010_0010___apos_s [conj2] r_0010_0010___apos_s->r_0010_0001__The_r_0010_0002__cat [arg0] r_0010_0013__good good r_0010_0010___apos_s->r_0010_0013__good [prd] r_0010_0011__not_r_0010_0012__very not very r_0010_0013__good->r_0010_0011__not_r_0010_0012__very [qual] r_0010_0015__judging judging r_0010_0013__good->r_0010_0015__judging at r_0010_0016__distances distances r_0010_0015__judging->r_0010_0016__distances [arg1] z_000_10_a_cat_mouse_42 r_0010_0015__judging->z_000_10_a_cat_mouse_42 [arg0]
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).



%3 r_0010_0015__judging judging z_000_10_a_cat_mouse_42 r_0010_0015__judging->z_000_10_a_cat_mouse_42 [arg0] r_0010_0016__distances distances r_0010_0015__judging->r_0010_0016__distances [arg1] r_0010_0013__good good r_0010_0013__good->r_0010_0015__judging at r_0010_0011__not_r_0010_0012__very not very r_0010_0013__good->r_0010_0011__not_r_0010_0012__very [qual] r_0010_0010___apos_s 's r_0010_0010___apos_s->r_0010_0013__good [prd] r_0010_0001__The_r_0010_0002__cat The cat r_0010_0010___apos_s->r_0010_0001__The_r_0010_0002__cat [arg0] r_0010_0008__but but r_0010_0008__but->r_0010_0010___apos_s [conj2] r_0010_0004__jumps jumps r_0010_0008__but->r_0010_0004__jumps [conj1] r_0010_0004__jumps->r_0010_0001__The_r_0010_0002__cat [arg0] r_0010_0006__you you r_0010_0004__jumps->r_0010_0006__you towards [clr] r_0010_0003__always always r_0010_0004__jumps->r_0010_0003__always [nim]
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) ) ).



n10_a_cat_mouse n10_a_cat_mouse__1_1_1_1_1_1 The n10_a_cat_mouse__1_1_1_1_2_1 cat n10_a_cat_mouse__1_1_1_2_1_1 always n10_a_cat_mouse__1_1_1_3_1 jumps n10_a_cat_mouse__1_1_1_4_1_1 towards n10_a_cat_mouse__1_1_1_4_2_1_1 you n10_a_cat_mouse__1_1_2_1 , n10_a_cat_mouse__1_1_3_1_1 but n10_a_cat_mouse__1_1_3_2_1_1_1 he n10_a_cat_mouse__1_1_3_2_2_1 's n10_a_cat_mouse__1_1_3_2_3_1_1_1 not n10_a_cat_mouse__1_1_3_2_3_1_2_1 very n10_a_cat_mouse__1_1_3_2_3_2_1 good n10_a_cat_mouse__1_1_3_2_3_3_1_1 at n10_a_cat_mouse__1_1_3_2_3_3_2_1_1 judging n10_a_cat_mouse__1_1_3_2_3_3_2_2_1_1 distances n10_a_cat_mouse__1_2_1 . n10_a_cat_mouse__1 IP-MAT n10_a_cat_mouse__1_1 ILYR n10_a_cat_mouse__1->n10_a_cat_mouse__1_1 n10_a_cat_mouse__1_2 PUNC n10_a_cat_mouse__1->n10_a_cat_mouse__1_2 n10_a_cat_mouse__1_1_1 ILYR n10_a_cat_mouse__1_1->n10_a_cat_mouse__1_1_1 n10_a_cat_mouse__1_1_2 PUNC n10_a_cat_mouse__1_1->n10_a_cat_mouse__1_1_2 n10_a_cat_mouse__1_1_3 CONJP n10_a_cat_mouse__1_1->n10_a_cat_mouse__1_1_3 n10_a_cat_mouse__1_1_1_1 NP-SBJ n10_a_cat_mouse__1_1_1->n10_a_cat_mouse__1_1_1_1 n10_a_cat_mouse__1_1_1_2 ADVP-NIM n10_a_cat_mouse__1_1_1->n10_a_cat_mouse__1_1_1_2 n10_a_cat_mouse__1_1_1_3 VBP;_Ipr_ n10_a_cat_mouse__1_1_1->n10_a_cat_mouse__1_1_1_3 n10_a_cat_mouse__1_1_1_4 PP-CLR n10_a_cat_mouse__1_1_1->n10_a_cat_mouse__1_1_1_4 n10_a_cat_mouse__1_1_1_1_1 D n10_a_cat_mouse__1_1_1_1->n10_a_cat_mouse__1_1_1_1_1 n10_a_cat_mouse__1_1_1_1_2 N n10_a_cat_mouse__1_1_1_1->n10_a_cat_mouse__1_1_1_1_2 n10_a_cat_mouse__1_1_1_1_1->n10_a_cat_mouse__1_1_1_1_1_1 n10_a_cat_mouse__1_1_1_1_2->n10_a_cat_mouse__1_1_1_1_2_1 n10_a_cat_mouse__1_1_1_2_1 ADV n10_a_cat_mouse__1_1_1_2->n10_a_cat_mouse__1_1_1_2_1 n10_a_cat_mouse__1_1_1_2_1->n10_a_cat_mouse__1_1_1_2_1_1 n10_a_cat_mouse__1_1_1_3->n10_a_cat_mouse__1_1_1_3_1 n10_a_cat_mouse__1_1_1_4_1 P-ROLE n10_a_cat_mouse__1_1_1_4->n10_a_cat_mouse__1_1_1_4_1 n10_a_cat_mouse__1_1_1_4_2 NP n10_a_cat_mouse__1_1_1_4->n10_a_cat_mouse__1_1_1_4_2 n10_a_cat_mouse__1_1_1_4_1->n10_a_cat_mouse__1_1_1_4_1_1 n10_a_cat_mouse__1_1_1_4_2_1 PRO n10_a_cat_mouse__1_1_1_4_2->n10_a_cat_mouse__1_1_1_4_2_1 n10_a_cat_mouse__1_1_1_4_2_1->n10_a_cat_mouse__1_1_1_4_2_1_1 n10_a_cat_mouse__1_1_2->n10_a_cat_mouse__1_1_2_1 n10_a_cat_mouse__1_1_3_1 CONJ n10_a_cat_mouse__1_1_3->n10_a_cat_mouse__1_1_3_1 n10_a_cat_mouse__1_1_3_2 ILYR n10_a_cat_mouse__1_1_3->n10_a_cat_mouse__1_1_3_2 n10_a_cat_mouse__1_1_3_1->n10_a_cat_mouse__1_1_3_1_1 n10_a_cat_mouse__1_1_3_2_1 NP-SBJ n10_a_cat_mouse__1_1_3_2->n10_a_cat_mouse__1_1_3_2_1 n10_a_cat_mouse__1_1_3_2_2 BEP;_La_ n10_a_cat_mouse__1_1_3_2->n10_a_cat_mouse__1_1_3_2_2 n10_a_cat_mouse__1_1_3_2_3 ADJP-PRD n10_a_cat_mouse__1_1_3_2->n10_a_cat_mouse__1_1_3_2_3 n10_a_cat_mouse__1_1_3_2_1_1 PRO n10_a_cat_mouse__1_1_3_2_1->n10_a_cat_mouse__1_1_3_2_1_1 n10_a_cat_mouse__1_1_3_2_1_1->n10_a_cat_mouse__1_1_3_2_1_1_1 n10_a_cat_mouse__1_1_3_2_2->n10_a_cat_mouse__1_1_3_2_2_1 n10_a_cat_mouse__1_1_3_2_3_1 ADVP n10_a_cat_mouse__1_1_3_2_3->n10_a_cat_mouse__1_1_3_2_3_1 n10_a_cat_mouse__1_1_3_2_3_2 ADJ n10_a_cat_mouse__1_1_3_2_3->n10_a_cat_mouse__1_1_3_2_3_2 n10_a_cat_mouse__1_1_3_2_3_3 PP n10_a_cat_mouse__1_1_3_2_3->n10_a_cat_mouse__1_1_3_2_3_3 n10_a_cat_mouse__1_1_3_2_3_1_1 NEG n10_a_cat_mouse__1_1_3_2_3_1->n10_a_cat_mouse__1_1_3_2_3_1_1 n10_a_cat_mouse__1_1_3_2_3_1_2 ADV n10_a_cat_mouse__1_1_3_2_3_1->n10_a_cat_mouse__1_1_3_2_3_1_2 n10_a_cat_mouse__1_1_3_2_3_1_1->n10_a_cat_mouse__1_1_3_2_3_1_1_1 n10_a_cat_mouse__1_1_3_2_3_1_2->n10_a_cat_mouse__1_1_3_2_3_1_2_1 n10_a_cat_mouse__1_1_3_2_3_2->n10_a_cat_mouse__1_1_3_2_3_2_1 n10_a_cat_mouse__1_1_3_2_3_3_1 P-ROLE n10_a_cat_mouse__1_1_3_2_3_3->n10_a_cat_mouse__1_1_3_2_3_3_1 n10_a_cat_mouse__1_1_3_2_3_3_2 IP-PPL n10_a_cat_mouse__1_1_3_2_3_3->n10_a_cat_mouse__1_1_3_2_3_3_2 n10_a_cat_mouse__1_1_3_2_3_3_1->n10_a_cat_mouse__1_1_3_2_3_3_1_1 n10_a_cat_mouse__1_1_3_2_3_3_2_1 VAG;_Tn_ n10_a_cat_mouse__1_1_3_2_3_3_2->n10_a_cat_mouse__1_1_3_2_3_3_2_1 n10_a_cat_mouse__1_1_3_2_3_3_2_2 NP-OB1 n10_a_cat_mouse__1_1_3_2_3_3_2->n10_a_cat_mouse__1_1_3_2_3_3_2_2 n10_a_cat_mouse__1_1_3_2_3_3_2_1->n10_a_cat_mouse__1_1_3_2_3_3_2_1_1 n10_a_cat_mouse__1_1_3_2_3_3_2_2_1 NS n10_a_cat_mouse__1_1_3_2_3_3_2_2->n10_a_cat_mouse__1_1_3_2_3_3_2_2_1 n10_a_cat_mouse__1_1_3_2_3_3_2_2_1->n10_a_cat_mouse__1_1_3_2_3_3_2_2_1_1 n10_a_cat_mouse__1_2->n10_a_cat_mouse__1_2_1
( (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))