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_0010_0006__FACT,R_0010_0003__A_R_0010_0004__MATTER,R_0010_0007__I,R_0010_0010__HIM,R_0010_0011__LAST,R_0010_0012__NIGHT,R_0010_0014__DEPUTISE,R_0010_0019__HER,R_0010_0018__FETCH,R_0010_0017__AND,R_0010_0008___APOS_D_R_0010_0009__ASKED] :
      ( r_0010_0006__fact(R_0010_0006__FACT)
      & r_0010_0007__I(R_0010_0007__I)
      & r_0010_0010__him(R_0010_0010__HIM)
      & r_0010_0011__last(R_0010_0011__LAST)
      & r_0010_0019__her(R_0010_0019__HER)
      & r_0010_0008___apos_d_r_0010_0009__asked(R_0010_0008___APOS_D_R_0010_0009__ASKED)
      & has_arg1(R_0010_0008___APOS_D_R_0010_0009__ASKED,R_0010_0017__AND)
      & r_0010_0017__and(R_0010_0017__AND)
      & has_conj2(R_0010_0017__AND,R_0010_0018__FETCH)
      & r_0010_0018__fetch(R_0010_0018__FETCH)
      & has_arg1(R_0010_0018__FETCH,R_0010_0019__HER)
      & has_arg0(R_0010_0018__FETCH,R_0010_0010__HIM)
      & has_conj1(R_0010_0017__AND,R_0010_0014__DEPUTISE)
      & r_0010_0014__deputise(R_0010_0014__DEPUTISE)
      & has_arg0(R_0010_0014__DEPUTISE,R_0010_0010__HIM)
      & has_r_0010_0015__for_clr45(R_0010_0014__DEPUTISE,R_0010_0007__I)
      & has_nim29(R_0010_0008___APOS_D_R_0010_0009__ASKED,R_0010_0012__NIGHT)
      & r_0010_0012__night(R_0010_0012__NIGHT)
      & has_attrib30(R_0010_0012__NIGHT,R_0010_0011__LAST)
      & has_arg2(R_0010_0008___APOS_D_R_0010_0009__ASKED,R_0010_0010__HIM)
      & has_arg0(R_0010_0008___APOS_D_R_0010_0009__ASKED,R_0010_0007__I)
      & has_r_0010_0002__As_nim7(R_0010_0008___APOS_D_R_0010_0009__ASKED,R_0010_0003__A_R_0010_0004__MATTER)
      & r_0010_0003__a_r_0010_0004__matter(R_0010_0003__A_R_0010_0004__MATTER)
      & has_r_0010_0005__of(R_0010_0003__A_R_0010_0004__MATTER,R_0010_0006__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))