arc(r_0009_0004__put, r_0009_0001__The_r_0009_0002__bulldog, arg0).
arc(r_0009_0004__put, r_0009_0003__suddenly, nim9).
arc(r_0009_0004__put, r_0009_0006__front_r_0009_0007__paws, arg1).
arc(r_0009_0004__put, r_0009_0009__John, r_0009_0008__on_clr25).
arc(r_0009_0006__front_r_0009_0007__paws, r_0009_0001__The_r_0009_0002__bulldog, gen).
arc(r_0009_0011__gave, r_0009_0001__The_r_0009_0002__bulldog, arg0).
arc(r_0009_0011__gave, r_0009_0009__John, arg2).
arc(r_0009_0011__gave, r_0009_0013__a_r_0009_0015__push, arg1).
arc(r_0009_0013__a_r_0009_0015__push, r_0009_0014__mighty, attrib40).
arc(r_0009_0017__sent, r_0009_0009__John, arg1).
arc(r_0009_0017__sent, r_0009_0013__a_r_0009_0015__push, arg0).
arc(r_0009_0017__sent, r_0009_0019__flat, prd).
arc(r_0009_0019__flat, r_0009_0022__back, r_0009_0020__on).
arc(r_0009_0022__back, r_0009_0009__John, gen).
arc(r_0009_0024__and, r_0009_0004__put, conj1).
arc(r_0009_0024__and, r_0009_0011__gave, conj2).
arc(r_0009_0024__and, r_0009_0025__started, conj3).
arc(r_0009_0025__started, r_0009_0026__to_r_0009_0027__lick, scope).
arc(r_0009_0026__to_r_0009_0027__lick, r_0009_0001__The_r_0009_0002__bulldog, arg0).
arc(r_0009_0026__to_r_0009_0027__lick, r_0009_0009__John, arg1).

fof(formula,axiom,
    ? [R_0009_0009__JOHN,R_0009_0014__MIGHTY,R_0009_0013__A_R_0009_0015__PUSH,R_0009_0022__BACK,R_0009_0019__FLAT,R_0009_0017__SENT,R_0009_0001__THE_R_0009_0002__BULLDOG,R_0009_0003__SUDDENLY,R_0009_0006__FRONT_R_0009_0007__PAWS,R_0009_0004__PUT,R_0009_0011__GAVE,R_0009_0025__STARTED_R_0009_0026__TO_R_0009_0027__LICK,R_0009_0024__AND] :
      ( r_0009_0001__The_r_0009_0002__bulldog(R_0009_0001__THE_R_0009_0002__BULLDOG)
      & r_0009_0003__suddenly(R_0009_0003__SUDDENLY)
      & r_0009_0009__John(R_0009_0009__JOHN)
      & r_0009_0014__mighty(R_0009_0014__MIGHTY)
      & r_0009_0024__and(R_0009_0024__AND)
      & has_conj3(R_0009_0024__AND,R_0009_0025__STARTED_R_0009_0026__TO_R_0009_0027__LICK)
      & r_0009_0025__started_r_0009_0026__to_r_0009_0027__lick(R_0009_0025__STARTED_R_0009_0026__TO_R_0009_0027__LICK)
      & has_arg1(R_0009_0025__STARTED_R_0009_0026__TO_R_0009_0027__LICK,R_0009_0009__JOHN)
      & has_arg0(R_0009_0025__STARTED_R_0009_0026__TO_R_0009_0027__LICK,R_0009_0001__THE_R_0009_0002__BULLDOG)
      & has_conj2(R_0009_0024__AND,R_0009_0011__GAVE)
      & r_0009_0011__gave(R_0009_0011__GAVE)
      & has_arg1(R_0009_0011__GAVE,R_0009_0013__A_R_0009_0015__PUSH)
      & r_0009_0013__a_r_0009_0015__push(R_0009_0013__A_R_0009_0015__PUSH)
      & has_attrib40(R_0009_0013__A_R_0009_0015__PUSH,R_0009_0014__MIGHTY)
      & has_arg2(R_0009_0011__GAVE,R_0009_0009__JOHN)
      & has_arg0(R_0009_0011__GAVE,R_0009_0001__THE_R_0009_0002__BULLDOG)
      & has_conj1(R_0009_0024__AND,R_0009_0004__PUT)
      & r_0009_0004__put(R_0009_0004__PUT)
      & has_r_0009_0008__on_clr25(R_0009_0004__PUT,R_0009_0009__JOHN)
      & has_arg1(R_0009_0004__PUT,R_0009_0006__FRONT_R_0009_0007__PAWS)
      & r_0009_0006__front_r_0009_0007__paws(R_0009_0006__FRONT_R_0009_0007__PAWS)
      & has_gen(R_0009_0006__FRONT_R_0009_0007__PAWS,R_0009_0001__THE_R_0009_0002__BULLDOG)
      & has_nim9(R_0009_0004__PUT,R_0009_0003__SUDDENLY)
      & has_arg0(R_0009_0004__PUT,R_0009_0001__THE_R_0009_0002__BULLDOG)
      & r_0009_0017__sent(R_0009_0017__SENT)
      & has_prd(R_0009_0017__SENT,R_0009_0019__FLAT)
      & r_0009_0019__flat(R_0009_0019__FLAT)
      & has_r_0009_0020__on(R_0009_0019__FLAT,R_0009_0022__BACK)
      & r_0009_0022__back(R_0009_0022__BACK)
      & has_gen(R_0009_0022__BACK,R_0009_0009__JOHN)
      & has_arg0(R_0009_0017__SENT,R_0009_0013__A_R_0009_0015__PUSH)
      & has_arg1(R_0009_0017__SENT,R_0009_0009__JOHN) ) ).

( (IP-MAT (NP-SBJ;{BULLDOG} (D The;{the})
                            (N bulldog;{bulldog}))
          (ILYR (ILYR (ADVP-NIM (ADV suddenly;{suddenly}))
                      (VBD;_Tn.pr_ put;{put[on]})
                      (NP-OB1 (NP-GEN;{BULLDOG} (PRO;_genm_ its;{its}))
                              (N front;{front})
                              (NS paws;{paw}))
                      (PP-CLR (P-ROLE on;{on})
                              (NP;{JOHN} (NPR John;{John}))))
                (PUNC ,)
                (CONJP (ILYR (VBD;_Dn.n_ gave;{give})
                             (NP-OB2;{JOHN} (PRO him;{he}))
                             (NP-OB1 (D a;{a})
                                     (ADJP (ADJ mighty;{mighty}))
                                     (N push;{push})
                                     (IP-REL (NP-SBJ (RPRO which;{which}))
                                             (VBD;_Cn.a_ sent;{send})
                                             (NP-OB1;{JOHN} (PRO him;{he}))
                                             (ADJP-PRD (ADJ flat;{flat})
                                                       (PP (P-ROLE on;{on})
                                                           (NP (NP-GEN;{JOHN} (PRO;_genm_ his;{his}))
                                                               (N back;{back}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_cat_Vt_ started;{start})
                             (IP-INF-CAT (TO to;{to})
                                         (VB;_Tn_ lick;{lick})
                                         (NP-OB1;{JOHN} (PRO him;{he}))))))
          (PUNC .))
  (ID 9_a_stories_09_m12))