( (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))

arc(r_0107_0004__resting_r_0107_0005__on,r_0107_0002__the_r_0107_0003__teacup,inv_arg0).
arc(r_0107_0004__resting_r_0107_0005__on,r_0107_0007__lip,arg1).
arc(r_0107_0007__lip,r_0107_0006__her,gen).
arc(r_0107_0010__said,r_0107_0002__the_r_0107_0003__teacup,r_0107_0001__With__nim).
arc(r_0107_0010__said,r_0107_0006__her,arg0).
arc(r_0107_0010__said,z_0107_5007__utterance,arg1).
arc(r_0107_0014__brother,r_0107_0006__her,gen).
arc(z_0107_5007__utterance,z_0107_5014,part1).
arc(z_0107_5014,r_0107_0014__brother,z_0107_5011).
arc(z_0107_5014,z_0107_5010,arg0).

fof(formula,axiom,
    ? [R_0107_0006__HER,R_0107_0007__LIP,R_0107_0004__RESTING_R_0107_0005__ON,R_0107_0002__THE_R_0107_0003__TEACUP,R_0107_0014__BROTHER,Z_0107_5010,Z_0107_5014,Z_0107_5007__UTTERANCE,R_0107_0010__SAID] :
      ( r_0107_0006__her(R_0107_0006__HER)
      & z_0107_5010(Z_0107_5010)
      & r_0107_0010__said(R_0107_0010__SAID)
      & has_arg1(R_0107_0010__SAID,Z_0107_5007__UTTERANCE)
      & z_0107_5007__utterance(Z_0107_5007__UTTERANCE)
      & has_part1(Z_0107_5007__UTTERANCE,Z_0107_5014)
      & z_0107_5014(Z_0107_5014)
      & has_arg0(Z_0107_5014,Z_0107_5010)
      & has_z_0107_5011(Z_0107_5014,R_0107_0014__BROTHER)
      & r_0107_0014__brother(R_0107_0014__BROTHER)
      & has_gen(R_0107_0014__BROTHER,R_0107_0006__HER)
      & has_arg0(R_0107_0010__SAID,R_0107_0006__HER)
      & has_r_0107_0001__With__nim(R_0107_0010__SAID,R_0107_0002__THE_R_0107_0003__TEACUP)
      & r_0107_0002__the_r_0107_0003__teacup(R_0107_0002__THE_R_0107_0003__TEACUP)
      & has_inv_arg0(R_0107_0002__THE_R_0107_0003__TEACUP,R_0107_0004__RESTING_R_0107_0005__ON)
      & r_0107_0004__resting_r_0107_0005__on(R_0107_0004__RESTING_R_0107_0005__ON)
      & has_arg1(R_0107_0004__RESTING_R_0107_0005__ON,R_0107_0007__LIP)
      & r_0107_0007__lip(R_0107_0007__LIP)
      & has_gen(R_0107_0007__LIP,R_0107_0006__HER) ) ).