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

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__nim).
arc(r_0118_0011__said,r_0118_0010__she,arg0).
arc(r_0118_0011__said,z_0118_5002__utterance,arg1).
arc(z_0118_5002__utterance,r_0118_0003__sleep_r_0118_0004__out,part1).

fof(formula,axiom,
    ? [R_0118_0010__SHE,R_0118_0002__WE,R_0118_0006__THE_R_0118_0007__SQUARE,R_0118_0003__SLEEP_R_0118_0004__OUT,Z_0118_5002__UTTERANCE,R_0118_0011__SAID] :
      ( r_0118_0002__We(R_0118_0002__WE)
      & r_0118_0006__the_r_0118_0007__square(R_0118_0006__THE_R_0118_0007__SQUARE)
      & r_0118_0010__she(R_0118_0010__SHE)
      & r_0118_0011__said(R_0118_0011__SAID)
      & has_arg1(R_0118_0011__SAID,Z_0118_5002__UTTERANCE)
      & z_0118_5002__utterance(Z_0118_5002__UTTERANCE)
      & has_part1(Z_0118_5002__UTTERANCE,R_0118_0003__SLEEP_R_0118_0004__OUT)
      & r_0118_0003__sleep_r_0118_0004__out(R_0118_0003__SLEEP_R_0118_0004__OUT)
      & has_r_0118_0005__in__nim(R_0118_0003__SLEEP_R_0118_0004__OUT,R_0118_0006__THE_R_0118_0007__SQUARE)
      & has_arg0(R_0118_0003__SLEEP_R_0118_0004__OUT,R_0118_0002__WE)
      & has_arg0(R_0118_0011__SAID,R_0118_0010__SHE) ) ).