( (IP-MAT (PULQ <lquo>)
          (NP-SBJ;{SLEEPING_PLACE} (PRO It;{it}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (N square;{square})
                  (IP-REL (NP-SBJ (PRO we;{we}))
                          (HVP;_cat_Ve_ have;{have})
                          (IP-PPL-CAT (NP-NIM *T*)
                                      (VVN;_I_ slept;{sleep})
                                      (ADVP-NIM (ADV before;{before})))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 111_a_loosechange))

arc(r_0111_0003___apos_s,r_0111_0002__It,arg0).
arc(r_0111_0003___apos_s,r_0111_0004__square,prd).
arc(r_0111_0006__have,r_0111_0007__slept,scope).
arc(r_0111_0007__slept,r_0111_0004__square,inv_nim).
arc(r_0111_0007__slept,r_0111_0005__we,arg0).
arc(r_0111_0007__slept,r_0111_0008__before,nim).

fof(formula,axiom,
    ? [R_0111_0002__IT,R_0111_0005__WE,R_0111_0008__BEFORE,R_0111_0006__HAVE_R_0111_0007__SLEPT,R_0111_0004__SQUARE,R_0111_0003___APOS_S] :
      ( r_0111_0002__It(R_0111_0002__IT)
      & r_0111_0005__we(R_0111_0005__WE)
      & r_0111_0008__before(R_0111_0008__BEFORE)
      & r_0111_0003___apos_s(R_0111_0003___APOS_S)
      & has_prd(R_0111_0003___APOS_S,R_0111_0004__SQUARE)
      & r_0111_0004__square(R_0111_0004__SQUARE)
      & has_inv_nim(R_0111_0004__SQUARE,R_0111_0006__HAVE_R_0111_0007__SLEPT)
      & r_0111_0006__have_r_0111_0007__slept(R_0111_0006__HAVE_R_0111_0007__SLEPT)
      & has_nim(R_0111_0006__HAVE_R_0111_0007__SLEPT,R_0111_0008__BEFORE)
      & has_arg0(R_0111_0006__HAVE_R_0111_0007__SLEPT,R_0111_0005__WE)
      & has_arg0(R_0111_0003___APOS_S,R_0111_0002__IT) ) ).