( (IP-MAT (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Cn.i_ let;{let})
                      (NP-OB1;{LAYLOR} (PRO her;{her}))
                      (IP-INF-PRD (VB;__ tell;{tell})
                                  (NP-OB2 (PRO me;{I}))
                                  (NP-OB1 (Q;_nphd_ all;{all})
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ;{LAYLOR} (PRO she;{she}))
                                                  (HVD;_cat_Ve_ had;{have})
                                                  (IP-PPL-CAT (BEN;_Ipr_ been;{be[through]})
                                                              (PP-CLR (P-ROLE through;{through})
                                                                      (NP *T*)))))))
          (PUNC .))
  (ID 182_a_loosechange))

arc(r_0182_0002__would,r_0182_0003__let,scope).
arc(r_0182_0003__let,r_0182_0001__I,arg0).
arc(r_0182_0003__let,r_0182_0004__her,arg1).
arc(r_0182_0003__let,r_0182_0007__all__quant,prd).
arc(r_0182_0005__tell,r_0182_0001__I,arg2).
arc(r_0182_0005__tell,z_0182_5004,arg0).
arc(r_0182_0005__tell,z_0182_5012,arg1).
arc(r_0182_0007__all__quant,r_0182_0005__tell,scope).
arc(r_0182_0007__all__quant,z_0182_5012,restriction).
arc(r_0182_0010__had,r_0182_0011__been,scope).
arc(r_0182_0011__been,r_0182_0004__her,arg0).
arc(r_0182_0011__been,z_0182_5012,r_0182_0012__through__inv_clr).

fof(formula,axiom,
    ? [R_0182_0001__I,R_0182_0004__HER,R_0182_0002__WOULD_R_0182_0003__LET] :
      ( r_0182_0001__I(R_0182_0001__I)
      & r_0182_0004__her(R_0182_0004__HER)
      & r_0182_0002__would_r_0182_0003__let(R_0182_0002__WOULD_R_0182_0003__LET)
      & ! [Z_0182_5012,R_0182_0010__HAD_R_0182_0011__BEEN] :
          ( ( z_0182_5012(Z_0182_5012)
            & has_r_0182_0012__through__inv_clr(Z_0182_5012,R_0182_0010__HAD_R_0182_0011__BEEN)
            & r_0182_0010__had_r_0182_0011__been(R_0182_0010__HAD_R_0182_0011__BEEN)
            & has_arg0(R_0182_0010__HAD_R_0182_0011__BEEN,R_0182_0004__HER) )
         => ? [Z_0182_5004,R_0182_0005__TELL] :
              ( z_0182_5004(Z_0182_5004)
              & r_0182_0005__tell(R_0182_0005__TELL)
              & has_arg1(R_0182_0005__TELL,Z_0182_5012)
              & has_arg0(R_0182_0005__TELL,Z_0182_5004)
              & has_arg2(R_0182_0005__TELL,R_0182_0001__I) ) )
      & has_arg1(R_0182_0002__WOULD_R_0182_0003__LET,R_0182_0004__HER)
      & has_arg0(R_0182_0002__WOULD_R_0182_0003__LET,R_0182_0001__I) ) ).