( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (FRAG (ADVP-NIM (ADV To_be_sure;{to_be_sure}))
                               (PUNC ,)
                               (NP-VOC (N stranger;{stranger}))))
          (PUNC ,)
          (PURQ <rquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ (D the;{the})
                  (N shepherd;{shepherd}))
          (PUNC .))
  (ID 84_a_hardy_1883))

arc(r_0084_0007__said,r_0084_0008__the_r_0084_0009__shepherd,arg0).
arc(r_0084_0007__said,z_0084_5002__utterance,arg1).
arc(z_0084_5002__utterance,z_0084_5007,part1).
arc(z_0084_5007,r_0084_0002__To_be_sure,nim).
arc(z_0084_5007,r_0084_0004__stranger,voc).
arc(z_0084_5007,z_0084_5004,arg0).

fof(formula,axiom,
    ? [R_0084_0008__THE_R_0084_0009__SHEPHERD,R_0084_0002__TO_BE_SURE,R_0084_0004__STRANGER,Z_0084_5004,Z_0084_5007,Z_0084_5002__UTTERANCE,R_0084_0007__SAID] :
      ( r_0084_0002__To_be_sure(R_0084_0002__TO_BE_SURE)
      & r_0084_0004__stranger(R_0084_0004__STRANGER)
      & r_0084_0008__the_r_0084_0009__shepherd(R_0084_0008__THE_R_0084_0009__SHEPHERD)
      & z_0084_5004(Z_0084_5004)
      & r_0084_0007__said(R_0084_0007__SAID)
      & has_arg1(R_0084_0007__SAID,Z_0084_5002__UTTERANCE)
      & z_0084_5002__utterance(Z_0084_5002__UTTERANCE)
      & has_part1(Z_0084_5002__UTTERANCE,Z_0084_5007)
      & z_0084_5007(Z_0084_5007)
      & has_arg0(Z_0084_5007,Z_0084_5004)
      & has_voc(Z_0084_5007,R_0084_0004__STRANGER)
      & has_nim(Z_0084_5007,R_0084_0002__TO_BE_SURE)
      & has_arg0(R_0084_0007__SAID,R_0084_0008__THE_R_0084_0009__SHEPHERD) ) ).