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

arc(r_0185_0006__would,r_0185_0001__Then,nim).
arc(r_0185_0006__would,r_0185_0003__the_r_0185_0004__morning,r_0185_0002__in__nim).
arc(r_0185_0006__would,r_0185_0007__take_r_0185_0009__to,scope).
arc(r_0185_0007__take_r_0185_0009__to,r_0185_0005__I,arg0).
arc(r_0185_0007__take_r_0185_0009__to,r_0185_0008__Laylor,arg1).
arc(r_0185_0007__take_r_0185_0009__to,r_0185_0010__wherever,arg2).
arc(r_0185_0012__needed,r_0185_0008__Laylor,arg0).
arc(r_0185_0012__needed,r_0185_0014__go,arg1).
arc(r_0185_0014__go,r_0185_0008__Laylor,arg0).
arc(r_0185_0014__go,r_0185_0010__wherever,nim).

fof(formula,axiom,
    ? [R_0185_0001__THEN,R_0185_0003__THE_R_0185_0004__MORNING,R_0185_0005__I,R_0185_0008__LAYLOR,R_0185_0010__WHEREVER,R_0185_0006__WOULD_R_0185_0007__TAKE_R_0185_0009__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)
      & r_0185_0010__wherever(R_0185_0010__WHEREVER)
      & r_0185_0012__needed(R_0185_0012__NEEDED)
      & has_arg1(R_0185_0012__NEEDED,R_0185_0014__GO)
      & r_0185_0014__go(R_0185_0014__GO)
      & has_nim(R_0185_0014__GO,R_0185_0010__WHEREVER)
      & has_arg0(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_0009__to(R_0185_0006__WOULD_R_0185_0007__TAKE_R_0185_0009__TO)
      & has_arg2(R_0185_0006__WOULD_R_0185_0007__TAKE_R_0185_0009__TO,R_0185_0010__WHEREVER)
      & has_arg1(R_0185_0006__WOULD_R_0185_0007__TAKE_R_0185_0009__TO,R_0185_0008__LAYLOR)
      & has_arg0(R_0185_0006__WOULD_R_0185_0007__TAKE_R_0185_0009__TO,R_0185_0005__I)
      & has_r_0185_0002__in__nim(R_0185_0006__WOULD_R_0185_0007__TAKE_R_0185_0009__TO,R_0185_0003__THE_R_0185_0004__MORNING)
      & has_nim(R_0185_0006__WOULD_R_0185_0007__TAKE_R_0185_0009__TO,R_0185_0001__THEN) ) ).