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, x_000_182_a_loosechange_13, arg0).
arc(r_0182_0005__tell, z_000_182_a_loosechange_19, arg1).
arc(r_0182_0007__all_quant, r_0182_0005__tell, scope).
arc(r_0182_0007__all_quant, z_000_182_a_loosechange_19, restriction).
arc(r_0182_0008__that_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_000_182_a_loosechange_19, r_0182_0012__through_clr36).

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_000_182_A_LOOSECHANGE_19,R_0182_0008__THAT_R_0182_0010__HAD_R_0182_0011__BEEN] :
          ( ( z_000_182_a_loosechange_19(Z_000_182_A_LOOSECHANGE_19)
            & r_0182_0008__that_r_0182_0010__had_r_0182_0011__been(R_0182_0008__THAT_R_0182_0010__HAD_R_0182_0011__BEEN)
            & has_r_0182_0012__through_clr36(R_0182_0008__THAT_R_0182_0010__HAD_R_0182_0011__BEEN,Z_000_182_A_LOOSECHANGE_19)
            & has_arg0(R_0182_0008__THAT_R_0182_0010__HAD_R_0182_0011__BEEN,R_0182_0004__HER) )
         => ? [X_000_182_A_LOOSECHANGE_13,R_0182_0005__TELL] :
              ( x_000_182_a_loosechange_13(X_000_182_A_LOOSECHANGE_13)
              & r_0182_0005__tell(R_0182_0005__TELL)
              & has_arg1(R_0182_0005__TELL,Z_000_182_A_LOOSECHANGE_19)
              & has_arg0(R_0182_0005__TELL,X_000_182_A_LOOSECHANGE_13)
              & 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) ) ).

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