( (IP-IMP (PULQ <lquo>)
          (INTJ Well)
          (PUNC ,)
          (REACT look)
          (PUNC ,)
          (VB;_Cn.i_ let;{let})
          (NP-OB1 (PRO me;{I}))
          (IP-INF-PRD (ADVP-NIM (ADV just;{just}))
                      (VB;_Tn_ take;{take})
                      (NP-OB1 (D;_nphd_ this;{this}))
                      (ADVP-NIM (ADV now;{now})))
          (PUNC ...)
          (PURQ <rquo>))
  (ID 30_a_loosechange))

arc(r_0030_0006__let,r_0030_0007__me,arg1).
arc(r_0030_0006__let,r_0030_0009__take,prd).
arc(r_0030_0006__let,z_0030_5002,arg0).
arc(r_0030_0009__take,r_0030_0008__just,nim).
arc(r_0030_0009__take,r_0030_0010__this,arg1).
arc(r_0030_0009__take,r_0030_0011__now,nim).
arc(r_0030_0009__take,z_0030_5005,arg0).

fof(formula,axiom,
    ? [R_0030_0007__ME,R_0030_0008__JUST,R_0030_0010__THIS,R_0030_0011__NOW,Z_0030_5005,R_0030_0009__TAKE,Z_0030_5002,R_0030_0006__LET] :
      ( r_0030_0007__me(R_0030_0007__ME)
      & r_0030_0008__just(R_0030_0008__JUST)
      & r_0030_0010__this(R_0030_0010__THIS)
      & r_0030_0011__now(R_0030_0011__NOW)
      & z_0030_5002(Z_0030_5002)
      & z_0030_5005(Z_0030_5005)
      & r_0030_0006__let(R_0030_0006__LET)
      & has_arg0(R_0030_0006__LET,Z_0030_5002)
      & has_prd(R_0030_0006__LET,R_0030_0009__TAKE)
      & r_0030_0009__take(R_0030_0009__TAKE)
      & has_arg0(R_0030_0009__TAKE,Z_0030_5005)
      & has_nim(R_0030_0009__TAKE,R_0030_0011__NOW)
      & has_arg1(R_0030_0009__TAKE,R_0030_0010__THIS)
      & has_nim(R_0030_0009__TAKE,R_0030_0008__JUST)
      & has_arg1(R_0030_0006__LET,R_0030_0007__ME) ) ).