( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{GUN} (D;_nphd_ That;{that}))
          (PUNC ,)
          (PURQ <rdquo>)
          (PRN (IP-MAT (NP-SBJ;{DORLE} (PRO he;{he}))
                       (VBD;_Tr_ said;{say})))
          (PUNC ,)
          (PULQ <ldquo>)
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (N dragon;{dragon}))
          (PUNC .))
  (ID 422_a_dick_1952))

arc(r_0422_0006__said,r_0422_0005__he,arg0).
arc(r_0422_0009__is,r_0422_0002__That,arg0).
arc(r_0422_0009__is,r_0422_0006__said,prn).
arc(r_0422_0009__is,r_0422_0010__the_r_0422_0011__dragon,prd).

fof(formula,axiom,
    ? [R_0422_0002__THAT,R_0422_0005__HE,R_0422_0006__SAID,R_0422_0010__THE_R_0422_0011__DRAGON,R_0422_0009__IS] :
      ( r_0422_0002__That(R_0422_0002__THAT)
      & r_0422_0005__he(R_0422_0005__HE)
      & r_0422_0010__the_r_0422_0011__dragon(R_0422_0010__THE_R_0422_0011__DRAGON)
      & r_0422_0009__is(R_0422_0009__IS)
      & has_prd(R_0422_0009__IS,R_0422_0010__THE_R_0422_0011__DRAGON)
      & has_prn(R_0422_0009__IS,R_0422_0006__SAID)
      & r_0422_0006__said(R_0422_0006__SAID)
      & has_arg0(R_0422_0006__SAID,R_0422_0005__HE)
      & has_arg0(R_0422_0009__IS,R_0422_0002__THAT) ) ).