( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-IMP (VB;_Ip_ Walk;{walk[in]})
                                 (ADVP-CLR (RP in;{in}))
                                 (PUNC !)))
          (PURQ <rquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{FENNEL} (D the;{the})
                           (N shepherd;{shepherd}))
          (ADVP-NIM (ADV promptly;{promptly}))
          (PUNC .))
  (ID 78_a_hardy_1883))

arc(r_0078_0002__Walk_r_0078_0003__in,z_0078_5004,arg0).
arc(r_0078_0006__said,r_0078_0007__the_r_0078_0008__shepherd,arg0).
arc(r_0078_0006__said,r_0078_0009__promptly,nim).
arc(r_0078_0006__said,z_0078_5002__utterance,arg1).
arc(z_0078_5002__utterance,r_0078_0002__Walk_r_0078_0003__in,part1).

fof(formula,axiom,
    ? [R_0078_0007__THE_R_0078_0008__SHEPHERD,R_0078_0009__PROMPTLY,Z_0078_5004,R_0078_0002__WALK_R_0078_0003__IN,Z_0078_5002__UTTERANCE,R_0078_0006__SAID] :
      ( r_0078_0007__the_r_0078_0008__shepherd(R_0078_0007__THE_R_0078_0008__SHEPHERD)
      & r_0078_0009__promptly(R_0078_0009__PROMPTLY)
      & z_0078_5004(Z_0078_5004)
      & r_0078_0006__said(R_0078_0006__SAID)
      & has_arg1(R_0078_0006__SAID,Z_0078_5002__UTTERANCE)
      & z_0078_5002__utterance(Z_0078_5002__UTTERANCE)
      & has_part1(Z_0078_5002__UTTERANCE,R_0078_0002__WALK_R_0078_0003__IN)
      & r_0078_0002__Walk_r_0078_0003__in(R_0078_0002__WALK_R_0078_0003__IN)
      & has_arg0(R_0078_0002__WALK_R_0078_0003__IN,Z_0078_5004)
      & has_nim(R_0078_0006__SAID,R_0078_0009__PROMPTLY)
      & has_arg0(R_0078_0006__SAID,R_0078_0007__THE_R_0078_0008__SHEPHERD) ) ).