( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-IMP (VB;_Tn.pr_ Put;{put[in]})
                                 (NP-OB1 (D some;{some})
                                         (N sugar;{sugar}))
                                 (PP-CLR (P-ROLE in;{in})
                                         (NP;{TEA} (PRO it;{it})))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn.pr_ pushing;{push})
                            (NP-OB1 (D the;{the})
                                    (N sugar;{sugar})
                                    (NS sachets;{sachet}))
                            (PP-NIM (P-ROLE toward;{toward})
                                    (NP;{LAYLOR} (PRO her;{her})))))
          (PUNC .))
  (ID 86_a_loosechange))

arc(r_0086_0002__Put_r_0086_0005__in,r_0086_0003__some_r_0086_0004__sugar,arg1).
arc(r_0086_0002__Put_r_0086_0005__in,r_0086_0006__it,arg2).
arc(r_0086_0002__Put_r_0086_0005__in,z_0086_5004,arg0).
arc(r_0086_0010__said,r_0086_0009__I,arg0).
arc(r_0086_0010__said,z_0086_5002__utterance,arg1).
arc(r_0086_0012__pushing,r_0086_0009__I,arg0).
arc(r_0086_0012__pushing,r_0086_0013__the_r_0086_0014__sugar_r_0086_0015__sachets,arg1).
arc(r_0086_0012__pushing,r_0086_0017__her,r_0086_0016__toward__nim).
arc(z_0086_5002__utterance,r_0086_0002__Put_r_0086_0005__in,part1).
arc(z_0086_5008,r_0086_0010__said,scope).
arc(z_0086_5008,r_0086_0012__pushing,restriction).

fof(formula,axiom,
    ? [R_0086_0009__I,R_0086_0003__SOME_R_0086_0004__SUGAR,R_0086_0006__IT,Z_0086_5004,R_0086_0002__PUT_R_0086_0005__IN,Z_0086_5002__UTTERANCE,R_0086_0010__SAID,R_0086_0013__THE_R_0086_0014__SUGAR_R_0086_0015__SACHETS,R_0086_0017__HER,R_0086_0012__PUSHING,Z_0086_5008] :
      ( r_0086_0003__some_r_0086_0004__sugar(R_0086_0003__SOME_R_0086_0004__SUGAR)
      & r_0086_0006__it(R_0086_0006__IT)
      & r_0086_0009__I(R_0086_0009__I)
      & r_0086_0013__the_r_0086_0014__sugar_r_0086_0015__sachets(R_0086_0013__THE_R_0086_0014__SUGAR_R_0086_0015__SACHETS)
      & r_0086_0017__her(R_0086_0017__HER)
      & z_0086_5004(Z_0086_5004)
      & z_0086_5008(Z_0086_5008)
      & has_conj1(Z_0086_5008,R_0086_0012__PUSHING)
      & r_0086_0012__pushing(R_0086_0012__PUSHING)
      & has_r_0086_0016__toward__nim(R_0086_0012__PUSHING,R_0086_0017__HER)
      & has_arg1(R_0086_0012__PUSHING,R_0086_0013__THE_R_0086_0014__SUGAR_R_0086_0015__SACHETS)
      & has_arg0(R_0086_0012__PUSHING,R_0086_0009__I)
      & has_conj2(Z_0086_5008,R_0086_0010__SAID)
      & r_0086_0010__said(R_0086_0010__SAID)
      & has_arg1(R_0086_0010__SAID,Z_0086_5002__UTTERANCE)
      & z_0086_5002__utterance(Z_0086_5002__UTTERANCE)
      & has_part1(Z_0086_5002__UTTERANCE,R_0086_0002__PUT_R_0086_0005__IN)
      & r_0086_0002__Put_r_0086_0005__in(R_0086_0002__PUT_R_0086_0005__IN)
      & has_arg0(R_0086_0002__PUT_R_0086_0005__IN,Z_0086_5004)
      & has_arg2(R_0086_0002__PUT_R_0086_0005__IN,R_0086_0006__IT)
      & has_arg1(R_0086_0002__PUT_R_0086_0005__IN,R_0086_0003__SOME_R_0086_0004__SUGAR)
      & has_arg0(R_0086_0010__SAID,R_0086_0009__I) ) ).