arc(utterance_61_a_loosechange_4, r_0061_0002__Look_r_0061_0004__let, part1).
arc(r_0061_0002__Look_r_0061_0004__let, r_0061_0005__me, arg1).
arc(r_0061_0002__Look_r_0061_0004__let, r_0061_0006__buy, prd).
arc(r_0061_0002__Look_r_0061_0004__let, z_000_61_a_loosechange_5, arg0).
arc(r_0061_0006__buy, r_0061_0007__us, arg2).
arc(r_0061_0006__buy, r_0061_0008__both, nim21).
arc(r_0061_0006__buy, r_0061_0009__a_r_0061_0010__cup, arg1).
arc(r_0061_0006__buy, x_000_61_a_loosechange_15, arg0).
arc(r_0061_0009__a_r_0061_0010__cup, r_0061_0012__tea, r_0061_0011__of).
arc(r_0061_0016__said, utterance_61_a_loosechange_4, arg1).
arc(r_0061_0016__said, r_0061_0015__I, arg0).

fof(formula,axiom,
    ? [R_0061_0005__ME,R_0061_0007__US,R_0061_0008__BOTH,R_0061_0012__TEA,R_0061_0009__A_R_0061_0010__CUP,X_000_61_A_LOOSECHANGE_15,R_0061_0006__BUY,Z_000_61_A_LOOSECHANGE_5,R_0061_0002__LOOK_R_0061_0004__LET,UTTERANCE_61_A_LOOSECHANGE_4,R_0061_0015__I,R_0061_0016__SAID] :
      ( r_0061_0005__me(R_0061_0005__ME)
      & r_0061_0007__us(R_0061_0007__US)
      & r_0061_0008__both(R_0061_0008__BOTH)
      & r_0061_0012__tea(R_0061_0012__TEA)
      & r_0061_0015__I(R_0061_0015__I)
      & x_000_61_a_loosechange_15(X_000_61_A_LOOSECHANGE_15)
      & z_000_61_a_loosechange_5(Z_000_61_A_LOOSECHANGE_5)
      & r_0061_0016__said(R_0061_0016__SAID)
      & has_arg0(R_0061_0016__SAID,R_0061_0015__I)
      & has_arg1(R_0061_0016__SAID,UTTERANCE_61_A_LOOSECHANGE_4)
      & utterance_61_a_loosechange_4(UTTERANCE_61_A_LOOSECHANGE_4)
      & has_part1(UTTERANCE_61_A_LOOSECHANGE_4,R_0061_0002__LOOK_R_0061_0004__LET)
      & r_0061_0002__Look_r_0061_0004__let(R_0061_0002__LOOK_R_0061_0004__LET)
      & has_arg0(R_0061_0002__LOOK_R_0061_0004__LET,Z_000_61_A_LOOSECHANGE_5)
      & has_prd(R_0061_0002__LOOK_R_0061_0004__LET,R_0061_0006__BUY)
      & r_0061_0006__buy(R_0061_0006__BUY)
      & has_arg0(R_0061_0006__BUY,X_000_61_A_LOOSECHANGE_15)
      & has_arg1(R_0061_0006__BUY,R_0061_0009__A_R_0061_0010__CUP)
      & r_0061_0009__a_r_0061_0010__cup(R_0061_0009__A_R_0061_0010__CUP)
      & has_r_0061_0011__of(R_0061_0009__A_R_0061_0010__CUP,R_0061_0012__TEA)
      & has_nim21(R_0061_0006__BUY,R_0061_0008__BOTH)
      & has_arg2(R_0061_0006__BUY,R_0061_0007__US)
      & has_arg1(R_0061_0002__LOOK_R_0061_0004__LET,R_0061_0005__ME) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-IMP (REACT Look)
                                 (PUNC ,)
                                 (VB;_Cn.i_ let;{let})
                                 (NP-OB1 (PRO me;{I}))
                                 (IP-INF-PRD (VB;_Dn.n_ buy;{buy})
                                             (NP-OB2 (PRO us;{we}))
                                             (ADVP-NIM (ADV both;{both}))
                                             (NP-OB1 (D a;{a})
                                                     (N cup;{cup})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (N tea;{tea})))))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 61_a_loosechange))