( (IP-MAT (ILYR (NP-SBJ (Q;_nphd_ Everybody;{everybody})
                        (ADVP (ADV else;{else})))
                (VBP;_cat_Vt_ seems;{seem})
                (IP-INF-CAT (TO to;{to})
                            (HV;_cat_Ve_ have;{have})
                            (IP-PPL-CAT (HVN;_Tn_ had;{have})
                                        (NP-OB1 (N notice;{notice})
                                                (PP (P-ROLE of;{of})
                                                    (NP;{SPEECH} (NP-GEN (PRO;_genm_ my;{my}))
                                                                 (N speech;{speech})))))))
          (PP-SCON (P-CONN before;{before})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_cat_Vp.g_ ended;{end[up]})
                           (RP up;{up})
                           (IP-PPL-CAT (VAG;_Tn_ making;{make})
                                       (NP-OB1;{SPEECH} (PRO it;{it})))))
          (PUNC .))
  (ID 81_a_hedgehog;speaker=Colvile))

arc(r_0081_0001__Everybody__quant,r_0081_0003__seems,scope).
arc(r_0081_0001__Everybody__quant,z_0081_5010,restriction).
arc(r_0081_0003__seems,r_0081_0005__have,scope).
arc(r_0081_0005__have,r_0081_0006__had,scope).
arc(r_0081_0006__had,r_0081_0007__notice,arg1).
arc(r_0081_0006__had,z_0081_5010,arg0).
arc(r_0081_0007__notice,r_0081_0010__speech,r_0081_0008__of).
arc(r_0081_0010__speech,r_0081_0009__my,gen).
arc(r_0081_0011__before,r_0081_0001__Everybody__quant,scope).
arc(r_0081_0011__before,r_0081_0013__ended_r_0081_0014__up,restriction).
arc(r_0081_0013__ended_r_0081_0014__up,r_0081_0015__making,scope).
arc(r_0081_0015__making,r_0081_0009__my,arg0).
arc(r_0081_0015__making,r_0081_0010__speech,arg1).
arc(z_0081_5010,r_0081_0002__else,qual).

fof(formula,axiom,
    ? [R_0081_0009__MY,R_0081_0010__SPEECH,R_0081_0013__ENDED_R_0081_0014__UP_R_0081_0015__MAKING,R_0081_0011__BEFORE] :
      ( r_0081_0009__my(R_0081_0009__MY)
      & r_0081_0011__before(R_0081_0011__BEFORE)
      & has_conj1(R_0081_0011__BEFORE,R_0081_0013__ENDED_R_0081_0014__UP_R_0081_0015__MAKING)
      & r_0081_0013__ended_r_0081_0014__up_r_0081_0015__making(R_0081_0013__ENDED_R_0081_0014__UP_R_0081_0015__MAKING)
      & has_arg1(R_0081_0013__ENDED_R_0081_0014__UP_R_0081_0015__MAKING,R_0081_0010__SPEECH)
      & r_0081_0010__speech(R_0081_0010__SPEECH)
      & has_gen(R_0081_0010__SPEECH,R_0081_0009__MY)
      & has_arg0(R_0081_0013__ENDED_R_0081_0014__UP_R_0081_0015__MAKING,R_0081_0009__MY)
      & ! [Z_0081_5010,R_0081_0002__ELSE] :
          ( ( r_0081_0002__else(R_0081_0002__ELSE)
            & z_0081_5010(Z_0081_5010)
            & has_qual(Z_0081_5010,R_0081_0002__ELSE) )
         => ? [R_0081_0007__NOTICE,R_0081_0003__SEEMS_R_0081_0005__HAVE_R_0081_0006__HAD] :
              ( r_0081_0003__seems_r_0081_0005__have_r_0081_0006__had(R_0081_0003__SEEMS_R_0081_0005__HAVE_R_0081_0006__HAD)
              & has_arg0(R_0081_0003__SEEMS_R_0081_0005__HAVE_R_0081_0006__HAD,Z_0081_5010)
              & has_arg1(R_0081_0003__SEEMS_R_0081_0005__HAVE_R_0081_0006__HAD,R_0081_0007__NOTICE)
              & ~ has_r_0081_0008__of(R_0081_0007__NOTICE,R_0081_0010__SPEECH) ) ) ) ).