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, nim19).
arc(r_0111_0007__slept, r_0111_0005__we, arg0).
arc(r_0111_0007__slept, r_0111_0008__before, nim23).

fof(formula,axiom,
    ? [R_0111_0002__IT,R_0111_0004__SQUARE,R_0111_0003___APOS_S,R_0111_0005__WE,R_0111_0008__BEFORE,R_0111_0006__HAVE_R_0111_0007__SLEPT] :
      ( r_0111_0002__It(R_0111_0002__IT)
      & r_0111_0004__square(R_0111_0004__SQUARE)
      & r_0111_0005__we(R_0111_0005__WE)
      & r_0111_0008__before(R_0111_0008__BEFORE)
      & r_0111_0006__have_r_0111_0007__slept(R_0111_0006__HAVE_R_0111_0007__SLEPT)
      & has_nim23(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_nim19(R_0111_0006__HAVE_R_0111_0007__SLEPT,R_0111_0004__SQUARE)
      & r_0111_0003___apos_s(R_0111_0003___APOS_S)
      & has_prd(R_0111_0003___APOS_S,R_0111_0004__SQUARE)
      & has_arg0(R_0111_0003___APOS_S,R_0111_0002__IT) ) ).

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