( (IP-MAT (NP-SBJ;{PIERS} (PRO I;{I}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;_Tn_ admit;{admit})
                      (NP-OB1;{BRING_OFF} (D;_nphd_ that;{that})))
          (PUNC .))
  (ID 97_a_lob_n02))

arc(r_0097_0002___apos_ll,r_0097_0003__admit,scope).
arc(r_0097_0003__admit,r_0097_0001__I,arg0).
arc(r_0097_0003__admit,r_0097_0004__that,arg1).

fof(formula,axiom,
    ? [R_0097_0001__I,R_0097_0004__THAT,R_0097_0002___APOS_LL_R_0097_0003__ADMIT] :
      ( r_0097_0001__I(R_0097_0001__I)
      & r_0097_0004__that(R_0097_0004__THAT)
      & r_0097_0002___apos_ll_r_0097_0003__admit(R_0097_0002___APOS_LL_R_0097_0003__ADMIT)
      & has_arg1(R_0097_0002___APOS_LL_R_0097_0003__ADMIT,R_0097_0004__THAT)
      & has_arg0(R_0097_0002___APOS_LL_R_0097_0003__ADMIT,R_0097_0001__I) ) ).