( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-NIM (P-ROLE like;{like})
                  (NP (D an;{an})
                      (N idiot;{idiot})))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ said;{say})
          (PULQ <ldquo>)
          (utterance-OB1 (FRAG (REACT yes)))
          (PURQ <rdquo>)
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO we;{we}))
                       (HVD;_cat_Ve_ had;{have})
                       (NEG;_clitic_ n<apos>t;{not})
                       (IP-PPL-CAT (VVN;_Tn_ got;{get})
                                   (NP-OB1 (ADJP (ADVP (ADV very;{very}))
                                                 (ADJ much;{much}))
                                           (IP-INF-REL (NP-OB1 *T*)
                                                       (TO to;{to})
                                                       (DO;_Tn_ do;{do}))))))
          (PUNC .))
  (ID 2_a_paulfellows))

arc(r_0002_0006__said,r_0002_0003__an_r_0002_0004__idiot,r_0002_0002__like__nim).
arc(r_0002_0006__said,r_0002_0005__I,arg0).
arc(r_0002_0006__said,r_0002_0013__n_apos_t,prn).
arc(r_0002_0006__said,z_0002_5003__utterance,arg1).
arc(r_0002_0012__had,r_0002_0014__got,scope).
arc(r_0002_0013__n_apos_t,r_0002_0012__had,keep_scope).
arc(r_0002_0014__got,r_0002_0011__we,arg0).
arc(r_0002_0014__got,z_0002_5017,arg1).
arc(r_0002_0016__much,r_0002_0015__very,qual).
arc(r_0002_0018__do,z_0002_5015,arg0).
arc(r_0002_0018__do,z_0002_5017,inv_arg1).
arc(z_0002_5003__utterance,z_0002_5006,part1).
arc(z_0002_5006,z_0002_5005,arg0).
arc(z_0002_5017,r_0002_0016__much,attrib).

fof(formula,axiom,
    ? [R_0002_0003__AN_R_0002_0004__IDIOT,R_0002_0005__I,Z_0002_5005,Z_0002_5006,Z_0002_5003__UTTERANCE,R_0002_0006__SAID] :
      ( r_0002_0003__an_r_0002_0004__idiot(R_0002_0003__AN_R_0002_0004__IDIOT)
      & r_0002_0005__I(R_0002_0005__I)
      & z_0002_5005(Z_0002_5005)
      & r_0002_0006__said(R_0002_0006__SAID)
      & has_arg1(R_0002_0006__SAID,Z_0002_5003__UTTERANCE)
      & z_0002_5003__utterance(Z_0002_5003__UTTERANCE)
      & has_part1(Z_0002_5003__UTTERANCE,Z_0002_5006)
      & z_0002_5006(Z_0002_5006)
      & has_arg0(Z_0002_5006,Z_0002_5005)
      & has_prn(R_0002_0006__SAID,R_0002_0013__N_APOS_T)
      & ~ ? [R_0002_0011__WE,Z_0002_5015,R_0002_0018__DO,R_0002_0015__VERY,R_0002_0016__MUCH,Z_0002_5017,R_0002_0012__HAD_R_0002_0014__GOT] :
            ( r_0002_0011__we(R_0002_0011__WE)
            & r_0002_0015__very(R_0002_0015__VERY)
            & z_0002_5015(Z_0002_5015)
            & r_0002_0012__had_r_0002_0014__got(R_0002_0012__HAD_R_0002_0014__GOT)
            & has_arg1(R_0002_0012__HAD_R_0002_0014__GOT,Z_0002_5017)
            & z_0002_5017(Z_0002_5017)
            & has_attrib(Z_0002_5017,R_0002_0016__MUCH)
            & r_0002_0016__much(R_0002_0016__MUCH)
            & has_qual(R_0002_0016__MUCH,R_0002_0015__VERY)
            & has_inv_arg1(Z_0002_5017,R_0002_0018__DO)
            & r_0002_0018__do(R_0002_0018__DO)
            & has_arg0(R_0002_0018__DO,Z_0002_5015)
            & has_arg0(R_0002_0012__HAD_R_0002_0014__GOT,R_0002_0011__WE) )
      & has_arg0(R_0002_0006__SAID,R_0002_0005__I)
      & has_r_0002_0002__like__nim(R_0002_0006__SAID,R_0002_0003__AN_R_0002_0004__IDIOT) ) ).