( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tf_ trust;{trust})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (ADJP (ADJ aforementioned;{aforementioned}))
                                      (N Mrs;{Mrs})
                                      (NPR T;{T}))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (BE;_La_ be;{be})
                                          (ADJP-PRD (ADJ delighted;{delighted})
                                                    (CP-THT (IP-SUB (C that;{that})
                                                                    (NP-SBJ (D;_nphd_ someone;{someone}))
                                                                    (BEP;_cat_Vg_ is;{be})
                                                                    (IP-PPL-CAT (VAG;_phr_Vp.n_ taking;{take[up]})
                                                                                (RP up;{up})
                                                                                (NP-OB1 (D this;{this})
                                                                                        (ADJP (ADJ important;{important}))
                                                                                        (N cause;{cause})))))))))
          (PUNC .))
  (ID 97_a_hedgehog;speaker=Colvile))

arc(r_0097_0002__trust,r_0097_0001__I,arg0).
arc(r_0097_0002__trust,r_0097_0008__would,arg1).
arc(r_0097_0004__the_r_0097_0006__Mrs_r_0097_0007__T,r_0097_0005__aforementioned,attrib).
arc(r_0097_0008__would,r_0097_0009__be,scope).
arc(r_0097_0009__be,r_0097_0004__the_r_0097_0006__Mrs_r_0097_0007__T,arg0).
arc(r_0097_0009__be,r_0097_0010__delighted,prd).
arc(r_0097_0010__delighted,r_0097_0013__is,emb).
arc(r_0097_0013__is,r_0097_0014__taking_r_0097_0015__up,scope).
arc(r_0097_0014__taking_r_0097_0015__up,r_0097_0012__someone,arg0).
arc(r_0097_0014__taking_r_0097_0015__up,r_0097_0016__this_r_0097_0018__cause,arg1).
arc(r_0097_0016__this_r_0097_0018__cause,r_0097_0017__important,attrib).

fof(formula,axiom,
    ? [R_0097_0001__I,R_0097_0005__AFOREMENTIONED,R_0097_0004__THE_R_0097_0006__MRS_R_0097_0007__T,R_0097_0012__SOMEONE,R_0097_0017__IMPORTANT,R_0097_0016__THIS_R_0097_0018__CAUSE,R_0097_0013__IS_R_0097_0014__TAKING_R_0097_0015__UP,R_0097_0010__DELIGHTED,R_0097_0008__WOULD_R_0097_0009__BE,R_0097_0002__TRUST] :
      ( r_0097_0001__I(R_0097_0001__I)
      & r_0097_0005__aforementioned(R_0097_0005__AFOREMENTIONED)
      & r_0097_0012__someone(R_0097_0012__SOMEONE)
      & r_0097_0017__important(R_0097_0017__IMPORTANT)
      & r_0097_0002__trust(R_0097_0002__TRUST)
      & has_arg1(R_0097_0002__TRUST,R_0097_0008__WOULD_R_0097_0009__BE)
      & r_0097_0008__would_r_0097_0009__be(R_0097_0008__WOULD_R_0097_0009__BE)
      & has_prd(R_0097_0008__WOULD_R_0097_0009__BE,R_0097_0010__DELIGHTED)
      & r_0097_0010__delighted(R_0097_0010__DELIGHTED)
      & has_emb(R_0097_0010__DELIGHTED,R_0097_0013__IS_R_0097_0014__TAKING_R_0097_0015__UP)
      & r_0097_0013__is_r_0097_0014__taking_r_0097_0015__up(R_0097_0013__IS_R_0097_0014__TAKING_R_0097_0015__UP)
      & has_arg1(R_0097_0013__IS_R_0097_0014__TAKING_R_0097_0015__UP,R_0097_0016__THIS_R_0097_0018__CAUSE)
      & r_0097_0016__this_r_0097_0018__cause(R_0097_0016__THIS_R_0097_0018__CAUSE)
      & has_attrib(R_0097_0016__THIS_R_0097_0018__CAUSE,R_0097_0017__IMPORTANT)
      & has_arg0(R_0097_0013__IS_R_0097_0014__TAKING_R_0097_0015__UP,R_0097_0012__SOMEONE)
      & has_arg0(R_0097_0008__WOULD_R_0097_0009__BE,R_0097_0004__THE_R_0097_0006__MRS_R_0097_0007__T)
      & r_0097_0004__the_r_0097_0006__Mrs_r_0097_0007__T(R_0097_0004__THE_R_0097_0006__MRS_R_0097_0007__T)
      & has_attrib(R_0097_0004__THE_R_0097_0006__MRS_R_0097_0007__T,R_0097_0005__AFOREMENTIONED)
      & has_arg0(R_0097_0002__TRUST,R_0097_0001__I) ) ).