( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBD;_Tw_ said;{say})
          (CP-QUE-OB1 (IP-SUB (ADJP-PRD (ADVP (WADV how;{how}))
                                        (ADJ glad;{glad})
                                        (IP-INF *ICH*-173))
                              (NP-SBJ;{DORLE} (PRO I;{I}))
                              (MD;_cat_Vi_ <apos>d;{will})
                              (IP-INF-CAT (BE;_La_ be;{be}))
                              (IP-INF-EPD-173 (TO to;{to})
                                              (VB;_Ipr_ walk;{walk[on]})
                                              (PP-CLR (P-ROLE on;{on})
                                                      (NP (ADJP (ADJ firm;{firm}))
                                                          (N ground;{ground})))
                                              (ADVP-NIM (ADV again;{again})))))
          (PUNC ,)
          (CONJ;_cl_ but;{but})
          (PUNC <mdash>)
          (PURQ <rdquo>))
  (ID 164_a_dick_1952))

arc(r_0164_0003__said,r_0164_0002__I,arg0).
arc(r_0164_0003__said,r_0164_0007___apos_d,arg1).
arc(r_0164_0005__glad,r_0164_0004__how,qual).
arc(r_0164_0005__glad,r_0164_0010__walk_r_0164_0011__on,emb).
arc(r_0164_0007___apos_d,r_0164_0005__glad,prd).
arc(r_0164_0007___apos_d,r_0164_0008__be,scope).
arc(r_0164_0008__be,r_0164_0002__I,arg0).
arc(r_0164_0010__walk_r_0164_0011__on,r_0164_0013__ground,arg1).
arc(r_0164_0010__walk_r_0164_0011__on,r_0164_0014__again,nim).
arc(r_0164_0010__walk_r_0164_0011__on,z_0164_5004,arg0).
arc(r_0164_0013__ground,r_0164_0012__firm,attrib).

fof(formula,axiom,
    ? [R_0164_0002__I,R_0164_0004__HOW,R_0164_0012__FIRM,R_0164_0013__GROUND,R_0164_0014__AGAIN,Z_0164_5004,R_0164_0010__WALK_R_0164_0011__ON,R_0164_0005__GLAD,R_0164_0007___APOS_D_R_0164_0008__BE,R_0164_0003__SAID] :
      ( r_0164_0002__I(R_0164_0002__I)
      & r_0164_0004__how(R_0164_0004__HOW)
      & r_0164_0012__firm(R_0164_0012__FIRM)
      & r_0164_0014__again(R_0164_0014__AGAIN)
      & z_0164_5004(Z_0164_5004)
      & r_0164_0003__said(R_0164_0003__SAID)
      & has_arg1(R_0164_0003__SAID,R_0164_0007___APOS_D_R_0164_0008__BE)
      & r_0164_0007___apos_d_r_0164_0008__be(R_0164_0007___APOS_D_R_0164_0008__BE)
      & has_arg0(R_0164_0007___APOS_D_R_0164_0008__BE,R_0164_0002__I)
      & has_prd(R_0164_0007___APOS_D_R_0164_0008__BE,R_0164_0005__GLAD)
      & r_0164_0005__glad(R_0164_0005__GLAD)
      & has_emb(R_0164_0005__GLAD,R_0164_0010__WALK_R_0164_0011__ON)
      & r_0164_0010__walk_r_0164_0011__on(R_0164_0010__WALK_R_0164_0011__ON)
      & has_arg0(R_0164_0010__WALK_R_0164_0011__ON,Z_0164_5004)
      & has_nim(R_0164_0010__WALK_R_0164_0011__ON,R_0164_0014__AGAIN)
      & has_arg1(R_0164_0010__WALK_R_0164_0011__ON,R_0164_0013__GROUND)
      & r_0164_0013__ground(R_0164_0013__GROUND)
      & has_attrib(R_0164_0013__GROUND,R_0164_0012__FIRM)
      & has_qual(R_0164_0005__GLAD,R_0164_0004__HOW)
      & has_arg0(R_0164_0003__SAID,R_0164_0002__I) ) ).