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_107_4_RESTING,R_107_7_LIP,R_107_6_HER,R_107_10_SAID,UTTERANCE_107_A_LOOSECHANGE_33,Z_107_A_LOOSECHANGE_34,R_107_14_BROTHER,R_107_9_SHE,R_107_2_THE_TEACUP] :
      ( her(R_107_6_HER)
      & she(R_107_9_SHE)
      & the_teacup(R_107_2_THE_TEACUP)
      & resting(R_107_4_RESTING,R_107_2_THE_TEACUP)
      & on_clr16(R_107_4_RESTING,R_107_7_LIP)
      & lip(R_107_7_LIP)
      & gen(R_107_7_LIP,R_107_6_HER)
      & said(R_107_10_SAID,R_107_9_SHE,UTTERANCE_107_A_LOOSECHANGE_33)
      & utterance_107_a_loosechange_33(UTTERANCE_107_A_LOOSECHANGE_33)
      & part1(UTTERANCE_107_A_LOOSECHANGE_33,Z_107_A_LOOSECHANGE_34)
      & z_107_a_loosechange_34(Z_107_A_LOOSECHANGE_34)
      & nim35(Z_107_A_LOOSECHANGE_34,R_107_14_BROTHER)
      & brother(R_107_14_BROTHER)
      & gen(R_107_14_BROTHER,R_107_9_SHE)
      & with_nim5(R_107_10_SAID,R_107_2_THE_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))