arc(utterance_85_a_hardy_1883_4, z_000_85_a_hardy_1883_5, part1).
arc(r_0085_0007__said, utterance_85_a_hardy_1883_4, arg1).
arc(r_0085_0007__said, r_0085_0008__the_r_0085_0009__shepherd, arg0).
arc(z_000_85_a_hardy_1883_5, r_0085_0002__To_be_sure, nim6).
arc(z_000_85_a_hardy_1883_5, r_0085_0004__stranger, nim11).

fof(formula,axiom,
    ? [R_85_7_SAID,R_85_8_THE_SHEPHERD,UTTERANCE_85_A_HARDY_1883_4,Z_85_A_HARDY_1883_5,R_85_4_STRANGER,R_85_2_TO_BE_SURE] :
      ( the_shepherd(R_85_8_THE_SHEPHERD)
      & stranger(R_85_4_STRANGER)
      & to_be_sure(R_85_2_TO_BE_SURE)
      & said(R_85_7_SAID,R_85_8_THE_SHEPHERD,UTTERANCE_85_A_HARDY_1883_4)
      & utterance_85_a_hardy_1883_4(UTTERANCE_85_A_HARDY_1883_4)
      & part1(UTTERANCE_85_A_HARDY_1883_4,Z_85_A_HARDY_1883_5)
      & z_85_a_hardy_1883_5(Z_85_A_HARDY_1883_5)
      & nim11(Z_85_A_HARDY_1883_5,R_85_4_STRANGER)
      & nim6(Z_85_A_HARDY_1883_5,R_85_2_TO_BE_SURE) ) ).

( (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 85_a_hardy_1883))