( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (FRAG (NP (NUM One;{one})
                                   (PP (P-ROLE of;{of})
                                       (ADVP (ADV hereabouts;{hereabouts}))))
                               (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ;{WIFE} (PRO she;{she}))
          (VBD;_Tr_ inquired;{inquire})
          (PUNC .))
  (ID 97_a_hardy_1883))

arc(r_0097_0002__One,r_0097_0004__hereabouts,r_0097_0003__of).
arc(r_0097_0008__inquired,r_0097_0007__she,arg0).
arc(r_0097_0008__inquired,z_0097_5003__utterance,arg1).
arc(z_0097_5003__utterance,z_0097_5010,part1).
arc(z_0097_5010,r_0097_0002__One,z_0097_5007).
arc(z_0097_5010,z_0097_5006,arg0).

fof(formula,axiom,
    ? [R_0097_0007__SHE,R_0097_0004__HEREABOUTS,R_0097_0002__ONE,Z_0097_5006,Z_0097_5010,Z_0097_5003__UTTERANCE,R_0097_0008__INQUIRED] :
      ( r_0097_0004__hereabouts(R_0097_0004__HEREABOUTS)
      & r_0097_0007__she(R_0097_0007__SHE)
      & z_0097_5006(Z_0097_5006)
      & r_0097_0008__inquired(R_0097_0008__INQUIRED)
      & has_arg1(R_0097_0008__INQUIRED,Z_0097_5003__UTTERANCE)
      & z_0097_5003__utterance(Z_0097_5003__UTTERANCE)
      & has_part1(Z_0097_5003__UTTERANCE,Z_0097_5010)
      & z_0097_5010(Z_0097_5010)
      & has_arg0(Z_0097_5010,Z_0097_5006)
      & has_z_0097_5007(Z_0097_5010,R_0097_0002__ONE)
      & r_0097_0002__One(R_0097_0002__ONE)
      & has_r_0097_0003__of(R_0097_0002__ONE,R_0097_0004__HEREABOUTS)
      & has_arg0(R_0097_0008__INQUIRED,R_0097_0007__SHE) ) ).