arc(utterance_107_a_loosechange_33, z_000_107_a_loosechange_34, part1).
arc(r_0107_0004__resting, r_0107_0002__the_r_0107_0003__teacup, arg0).
arc(r_0107_0004__resting, r_0107_0007__lip, r_0107_0005__on_clr16).
arc(r_0107_0007__lip, r_0107_0006__her, gen).
arc(r_0107_0010__said, utterance_107_a_loosechange_33, arg1).
arc(r_0107_0010__said, r_0107_0002__the_r_0107_0003__teacup, r_0107_0001__With_nim5).
arc(r_0107_0010__said, r_0107_0009__she, arg0).
arc(r_0107_0014__brother, r_0107_0009__she, gen).
arc(z_000_107_a_loosechange_34, r_0107_0014__brother, nim35).

fof(formula,axiom,
    ? [R_0107_0002__THE_R_0107_0003__TEACUP,R_0107_0006__HER,R_0107_0007__LIP,R_0107_0004__RESTING,R_0107_0009__SHE,R_0107_0014__BROTHER,Z_000_107_A_LOOSECHANGE_34,UTTERANCE_107_A_LOOSECHANGE_33,R_0107_0010__SAID] :
      ( r_0107_0002__the_r_0107_0003__teacup(R_0107_0002__THE_R_0107_0003__TEACUP)
      & r_0107_0006__her(R_0107_0006__HER)
      & r_0107_0009__she(R_0107_0009__SHE)
      & r_0107_0010__said(R_0107_0010__SAID)
      & has_arg0(R_0107_0010__SAID,R_0107_0009__SHE)
      & has_r_0107_0001__With_nim5(R_0107_0010__SAID,R_0107_0002__THE_R_0107_0003__TEACUP)
      & has_arg1(R_0107_0010__SAID,UTTERANCE_107_A_LOOSECHANGE_33)
      & utterance_107_a_loosechange_33(UTTERANCE_107_A_LOOSECHANGE_33)
      & has_part1(UTTERANCE_107_A_LOOSECHANGE_33,Z_000_107_A_LOOSECHANGE_34)
      & z_000_107_a_loosechange_34(Z_000_107_A_LOOSECHANGE_34)
      & has_nim35(Z_000_107_A_LOOSECHANGE_34,R_0107_0014__BROTHER)
      & r_0107_0014__brother(R_0107_0014__BROTHER)
      & has_gen(R_0107_0014__BROTHER,R_0107_0009__SHE)
      & r_0107_0004__resting(R_0107_0004__RESTING)
      & has_r_0107_0005__on_clr16(R_0107_0004__RESTING,R_0107_0007__LIP)
      & r_0107_0007__lip(R_0107_0007__LIP)
      & has_gen(R_0107_0007__LIP,R_0107_0006__HER)
      & has_arg0(R_0107_0004__RESTING,R_0107_0002__THE_R_0107_0003__TEACUP) ) ).

( (IP-MAT (PP-NIM (P-ROLE With;{with})
                  (NP (D the;{the})
                      (N teacup;{teacup})
                      (IP-PPL (VAG;_Ipr_ resting;{rest[on]})
                              (PP-CLR (P-ROLE on;{on})
                                      (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                          (N lip;{lip}))))))
          (PUNC ,)
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PULQ <lquo>)
          (utterance-OB1 (FRAG (NP (NP-GEN;{LAYLOR} (PRO;_genm_ My;{my}))
                                   (N brother;{brother}))))
          (PUNC .))
  (ID 107_a_loosechange))