arc(r_0164_0003__said_r_0164_0016__but, r_0164_0002__I, arg0).
arc(r_0164_0003__said_r_0164_0016__but, r_0164_0007___apos_d, arg1).
arc(r_0164_0005__glad, r_0164_0004__how, qual12).
arc(r_0164_0005__glad, r_0164_0009__to_r_0164_0010__walk, emb29).
arc(r_0164_0007___apos_d, r_0164_0008__be, scope).
arc(r_0164_0008__be, r_0164_0002__I, arg0).
arc(r_0164_0008__be, r_0164_0005__glad, prd).
arc(r_0164_0009__to_r_0164_0010__walk, r_0164_0013__ground, r_0164_0011__on_clr37).
arc(r_0164_0009__to_r_0164_0010__walk, r_0164_0014__again, nim43).
arc(r_0164_0009__to_r_0164_0010__walk, z_000_164_a_dick_1952_29, arg0).
arc(r_0164_0013__ground, r_0164_0012__firm, attrib38).

fof(formula,axiom,
    ? [R_0164_0002__I,R_0164_0004__HOW,R_0164_0012__FIRM,R_0164_0013__GROUND,R_0164_0014__AGAIN,Z_000_164_A_DICK_1952_29,R_0164_0009__TO_R_0164_0010__WALK,R_0164_0005__GLAD,R_0164_0007___APOS_D_R_0164_0008__BE,R_0164_0003__SAID_R_0164_0016__BUT] :
      ( 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_000_164_a_dick_1952_29(Z_000_164_A_DICK_1952_29)
      & r_0164_0003__said_r_0164_0016__but(R_0164_0003__SAID_R_0164_0016__BUT)
      & has_arg1(R_0164_0003__SAID_R_0164_0016__BUT,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_prd(R_0164_0007___APOS_D_R_0164_0008__BE,R_0164_0005__GLAD)
      & r_0164_0005__glad(R_0164_0005__GLAD)
      & has_emb29(R_0164_0005__GLAD,R_0164_0009__TO_R_0164_0010__WALK)
      & r_0164_0009__to_r_0164_0010__walk(R_0164_0009__TO_R_0164_0010__WALK)
      & has_arg0(R_0164_0009__TO_R_0164_0010__WALK,Z_000_164_A_DICK_1952_29)
      & has_nim43(R_0164_0009__TO_R_0164_0010__WALK,R_0164_0014__AGAIN)
      & has_r_0164_0011__on_clr37(R_0164_0009__TO_R_0164_0010__WALK,R_0164_0013__GROUND)
      & r_0164_0013__ground(R_0164_0013__GROUND)
      & has_attrib38(R_0164_0013__GROUND,R_0164_0012__FIRM)
      & has_qual12(R_0164_0005__GLAD,R_0164_0004__HOW)
      & has_arg0(R_0164_0007___APOS_D_R_0164_0008__BE,R_0164_0002__I)
      & has_arg0(R_0164_0003__SAID_R_0164_0016__BUT,R_0164_0002__I) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBD;_Tw_ said;{say})
          (CP-QUE-OB1 (IP-SUB (ADJP-170 (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})
                                          (ADJP-PRD *ICH*-170))
                              (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))