( (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))

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__nim).
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,nim).
arc(r_0010_0009__asked,r_0010_0017__and,arg1).
arc(r_0010_0012__night,r_0010_0011__last,attrib).
arc(r_0010_0014__deputise_r_0010_0015__for,r_0010_0007__I,arg1).
arc(r_0010_0014__deputise_r_0010_0015__for,r_0010_0010__him,arg0).
arc(r_0010_0017__and,r_0010_0014__deputise_r_0010_0015__for,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_0015__FOR,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_0015__FOR)
      & r_0010_0014__deputise_r_0010_0015__for(R_0010_0014__DEPUTISE_R_0010_0015__FOR)
      & has_arg0(R_0010_0014__DEPUTISE_R_0010_0015__FOR,R_0010_0010__HIM)
      & has_arg1(R_0010_0014__DEPUTISE_R_0010_0015__FOR,R_0010_0007__I)
      & has_nim(R_0010_0008___APOS_D_R_0010_0009__ASKED,R_0010_0012__NIGHT)
      & r_0010_0012__night(R_0010_0012__NIGHT)
      & has_attrib(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__nim(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) ) ).