( (FRAG (CONJ But;{but})
        (NP (ADJP (ADJ big;{big}))
            (N mistake;{mistake}))
        (PUNC ,)
        (PRN (IP-MAT (NP-SBJ;{PA_TEAM} (PRO they;{they}))
                     (HVD;_cat_Ve_ <apos>d;{have})
                     (IP-PPL-CAT (VVN;__ told;{tell})
                                 (NP-OB2 (PRO us;{we}))
                                 (CP-QUE-OB1 (IP-SUB (NP-140 (WPRO what;{what}))
                                                     (NP-SBJ (NP-GEN;{PA_TEAM} (PRO;_genm_ their;{their}))
                                                             (N demo;{demo}))
                                                     (BED;_cat_Vg_ was;{be})
                                                     (IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
                                                                 (IP-INF-CAT (NP-PRD *ICH*-140)
                                                                             (TO to;{to})
                                                                             (BE;_Ln_ be;{be})))))
                                 (PP-NIM (P-ROLE before;{before})
                                         (NP (N hand;{hand}))))))
        (PUNC .))
  (ID 71_a_paulfellows))

arc(r_0071_0003__mistake,r_0071_0002__big,attrib).
arc(r_0071_0006___apos_d,r_0071_0007__told,scope).
arc(r_0071_0007__told,r_0071_0005__they,arg0).
arc(r_0071_0007__told,r_0071_0008__us,arg2).
arc(r_0071_0007__told,r_0071_0012__was,arg1).
arc(r_0071_0007__told,r_0071_0017__hand,r_0071_0016__before__nim).
arc(r_0071_0011__demo,r_0071_0005__they,gen).
arc(r_0071_0012__was,r_0071_0013__going,scope).
arc(r_0071_0013__going,r_0071_0015__be,scope).
arc(r_0071_0015__be,r_0071_0009__what,prd).
arc(r_0071_0015__be,r_0071_0011__demo,arg0).
arc(z_0071_5019,r_0071_0003__mistake,z_0071_5016).
arc(z_0071_5019,r_0071_0006___apos_d,prn).

fof(formula,axiom,
    ? [R_0071_0002__BIG,R_0071_0003__MISTAKE,R_0071_0005__THEY,R_0071_0008__US,R_0071_0009__WHAT,R_0071_0011__DEMO,R_0071_0012__WAS_R_0071_0013__GOING_R_0071_0015__BE,R_0071_0017__HAND,R_0071_0006___APOS_D_R_0071_0007__TOLD,Z_0071_5019] :
      ( r_0071_0002__big(R_0071_0002__BIG)
      & r_0071_0005__they(R_0071_0005__THEY)
      & r_0071_0008__us(R_0071_0008__US)
      & r_0071_0009__what(R_0071_0009__WHAT)
      & r_0071_0017__hand(R_0071_0017__HAND)
      & z_0071_5019(Z_0071_5019)
      & has_prn(Z_0071_5019,R_0071_0006___APOS_D_R_0071_0007__TOLD)
      & r_0071_0006___apos_d_r_0071_0007__told(R_0071_0006___APOS_D_R_0071_0007__TOLD)
      & has_r_0071_0016__before__nim(R_0071_0006___APOS_D_R_0071_0007__TOLD,R_0071_0017__HAND)
      & has_arg1(R_0071_0006___APOS_D_R_0071_0007__TOLD,R_0071_0012__WAS_R_0071_0013__GOING_R_0071_0015__BE)
      & r_0071_0012__was_r_0071_0013__going_r_0071_0015__be(R_0071_0012__WAS_R_0071_0013__GOING_R_0071_0015__BE)
      & has_arg0(R_0071_0012__WAS_R_0071_0013__GOING_R_0071_0015__BE,R_0071_0011__DEMO)
      & r_0071_0011__demo(R_0071_0011__DEMO)
      & has_gen(R_0071_0011__DEMO,R_0071_0005__THEY)
      & has_prd(R_0071_0012__WAS_R_0071_0013__GOING_R_0071_0015__BE,R_0071_0009__WHAT)
      & has_arg2(R_0071_0006___APOS_D_R_0071_0007__TOLD,R_0071_0008__US)
      & has_arg0(R_0071_0006___APOS_D_R_0071_0007__TOLD,R_0071_0005__THEY)
      & has_z_0071_5016(Z_0071_5019,R_0071_0003__MISTAKE)
      & r_0071_0003__mistake(R_0071_0003__MISTAKE)
      & has_attrib(R_0071_0003__MISTAKE,R_0071_0002__BIG) ) ).