arc(r_0185_0006__would, r_0185_0001__Then, nim2).
arc(r_0185_0006__would, r_0185_0003__the_r_0185_0004__morning, r_0185_0002__in_nim8).
arc(r_0185_0006__would, r_0185_0007__take, scope).
arc(r_0185_0007__take, r_0185_0005__I, arg0).
arc(r_0185_0007__take, r_0185_0008__Laylor, arg1).
arc(r_0185_0007__take, z_000_185_a_loosechange_27, r_0185_0009__to_clr27).
arc(r_0185_0012__needed, r_0185_0008__Laylor, arg0).
arc(r_0185_0012__needed, r_0185_0013__to_r_0185_0014__go, arg1).
arc(r_0185_0013__to_r_0185_0014__go, r_0185_0008__Laylor, arg0).
arc(r_0185_0013__to_r_0185_0014__go, z_000_185_a_loosechange_27, nim38).

fof(formula,axiom,
    ? [R_0185_0001__THEN,R_0185_0003__THE_R_0185_0004__MORNING,R_0185_0005__I,R_0185_0008__LAYLOR,Z_000_185_A_LOOSECHANGE_27,R_0185_0006__WOULD_R_0185_0007__TAKE,R_0185_0013__TO_R_0185_0014__GO,R_0185_0012__NEEDED] :
      ( r_0185_0001__Then(R_0185_0001__THEN)
      & r_0185_0003__the_r_0185_0004__morning(R_0185_0003__THE_R_0185_0004__MORNING)
      & r_0185_0005__I(R_0185_0005__I)
      & r_0185_0008__Laylor(R_0185_0008__LAYLOR)
      & z_000_185_a_loosechange_27(Z_000_185_A_LOOSECHANGE_27)
      & r_0185_0012__needed(R_0185_0012__NEEDED)
      & has_arg1(R_0185_0012__NEEDED,R_0185_0013__TO_R_0185_0014__GO)
      & r_0185_0013__to_r_0185_0014__go(R_0185_0013__TO_R_0185_0014__GO)
      & has_nim38(R_0185_0013__TO_R_0185_0014__GO,Z_000_185_A_LOOSECHANGE_27)
      & has_arg0(R_0185_0013__TO_R_0185_0014__GO,R_0185_0008__LAYLOR)
      & has_arg0(R_0185_0012__NEEDED,R_0185_0008__LAYLOR)
      & r_0185_0006__would_r_0185_0007__take(R_0185_0006__WOULD_R_0185_0007__TAKE)
      & has_r_0185_0009__to_clr27(R_0185_0006__WOULD_R_0185_0007__TAKE,Z_000_185_A_LOOSECHANGE_27)
      & has_arg1(R_0185_0006__WOULD_R_0185_0007__TAKE,R_0185_0008__LAYLOR)
      & has_arg0(R_0185_0006__WOULD_R_0185_0007__TAKE,R_0185_0005__I)
      & has_r_0185_0002__in_nim8(R_0185_0006__WOULD_R_0185_0007__TAKE,R_0185_0003__THE_R_0185_0004__MORNING)
      & has_nim2(R_0185_0006__WOULD_R_0185_0007__TAKE,R_0185_0001__THEN) ) ).

( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N morning;{morning})))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Tn.pr_ take;{take[to]})
                      (NP-OB1;{LAYLOR} (NPR Laylor;{Laylor}))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (IP-REL (ADVP-138 (RADV wherever;{wherever}))
                                          (NP-SBJ;{LAYLOR} (PRO she;{she}))
                                          (VBD;_Tt_ needed;{need})
                                          (IP-INF-OB1 (ADVP-NIM *ICH*-138)
                                                      (TO to;{to})
                                                      (VB;_I_ go;{go}))))))
          (PUNC .))
  (ID 185_a_loosechange))