arc(r_0010_0003__a_r_0010_0004__matter, r_0010_0006__fact, r_0010_0005__of).
arc(r_0010_0008___apos_d, r_0010_0003__a_r_0010_0004__matter, r_0010_0002__As_nim7).
arc(r_0010_0008___apos_d, r_0010_0009__asked, scope).
arc(r_0010_0009__asked, r_0010_0007__I, arg0).
arc(r_0010_0009__asked, r_0010_0010__him, arg2).
arc(r_0010_0009__asked, r_0010_0012__night, nim29).
arc(r_0010_0009__asked, r_0010_0017__and, arg1).
arc(r_0010_0012__night, r_0010_0011__last, attrib30).
arc(r_0010_0014__deputise, r_0010_0007__I, r_0010_0015__for_clr45).
arc(r_0010_0014__deputise, r_0010_0010__him, arg0).
arc(r_0010_0017__and, r_0010_0014__deputise, conj1).
arc(r_0010_0017__and, r_0010_0018__fetch, conj2).
arc(r_0010_0018__fetch, r_0010_0010__him, arg0).
arc(r_0010_0018__fetch, r_0010_0019__her, arg1).

fof(formula,axiom,
    ? [R_10_8__APOS_D_ASKED,R_10_17_AND,R_10_14_DEPUTISE,R_10_7_I,R_10_18_FETCH,R_10_19_HER,R_10_10_HIM,R_10_12_NIGHT,R_10_11_LAST,R_10_3_A_MATTER,R_10_6_FACT] :
      ( i(R_10_7_I)
      & her(R_10_19_HER)
      & him(R_10_10_HIM)
      & last(R_10_11_LAST)
      & fact(R_10_6_FACT)
      & _apos_d_asked(R_10_8__APOS_D_ASKED,R_10_7_I,R_10_17_AND,R_10_10_HIM)
      & and(R_10_17_AND)
      & conj1(R_10_17_AND,R_10_14_DEPUTISE)
      & deputise(R_10_14_DEPUTISE,R_10_10_HIM)
      & for_clr45(R_10_14_DEPUTISE,R_10_7_I)
      & conj2(R_10_17_AND,R_10_18_FETCH)
      & fetch(R_10_18_FETCH,R_10_10_HIM,R_10_19_HER)
      & nim29(R_10_8__APOS_D_ASKED,R_10_12_NIGHT)
      & night(R_10_12_NIGHT)
      & attrib30(R_10_12_NIGHT,R_10_11_LAST)
      & as_nim7(R_10_8__APOS_D_ASKED,R_10_3_A_MATTER)
      & a_matter(R_10_3_A_MATTER)
      & of(R_10_3_A_MATTER,R_10_6_FACT) ) ).

( (IP-MAT (PULQ <lquo>)
          (PP-NIM (P-ROLE As;{as})
                  (NP (D a;{a})
                      (N matter;{matter})
                      (PP (P-ROLE of;{of})
                          (NP (N fact;{fact})))))
          (NP-SBJ;{PIERS} (PRO I;{I}))
          (HVD;_cat_Ve_ <apos>d;{have})
          (IP-PPL-CAT (VVN;_Dn.t_ asked;{ask})
                      (NP-OB2;{JACK} (PRO him;{he}))
                      (NP-NIM (ADJP (ADJ last;{last}))
                              (N night;{night}))
                      (IP-INF-OB1 (TO to;{to})
                                  (ILYR (ILYR (VB;_Ipr_ deputise;{deputise[for]})
                                              (PP-CLR (P-ROLE for;{for})
                                                      (NP;{PIERS} (PRO me;{I}))))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VB;_Tn_ fetch;{fetch})
                                                     (NP-OB1;{BLANCHE} (PRO her;{her})))))))
          (PUNC .))
  (ID 10_a_lob_n02))