arc(r_0118_0003__sleep_r_0118_0004__out, r_0118_0002__We, arg0).
arc(r_0118_0003__sleep_r_0118_0004__out, r_0118_0006__the_r_0118_0007__square, r_0118_0005__in_nim16).
arc(r_0118_0011__said, r_0118_0010__she, arg0).
arc(r_0118_0011__said, utterance_118_a_loosechange_4, arg1).
arc(utterance_118_a_loosechange_4, r_0118_0003__sleep_r_0118_0004__out, part1).

fof(formula,axiom,
    ? [R_118_11_SAID,R_118_10_SHE,UTTERANCE_118_A_LOOSECHANGE_4,R_118_3_SLEEP_OUT,R_118_2_WE,R_118_6_THE_SQUARE] :
      ( she(R_118_10_SHE)
      & we(R_118_2_WE)
      & the_square(R_118_6_THE_SQUARE)
      & said(R_118_11_SAID,R_118_10_SHE,UTTERANCE_118_A_LOOSECHANGE_4)
      & utterance_118_a_loosechange_4(UTTERANCE_118_A_LOOSECHANGE_4)
      & part1(UTTERANCE_118_A_LOOSECHANGE_4,R_118_3_SLEEP_OUT)
      & sleep_out(R_118_3_SLEEP_OUT,R_118_2_WE)
      & in_nim16(R_118_3_SLEEP_OUT,R_118_6_THE_SQUARE) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO We;{we}))
                                 (VBP;__ sleep;{sleep})
                                 (RP out;{out})
                                 (PP-NIM (P-ROLE in;{in})
                                         (NP (D the;{the})
                                             (N square;{square})))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 118_a_loosechange))