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_111_3__APOS_S,R_111_2_IT,R_111_6_HAVE_SLEPT,R_111_5_WE,R_111_4_SQUARE,R_111_8_BEFORE] :
      ( it(R_111_2_IT)
      & we(R_111_5_WE)
      & square(R_111_4_SQUARE)
      & before(R_111_8_BEFORE)
      & _apos_s(R_111_3__APOS_S,R_111_2_IT,R_111_4_SQUARE)
      & have_slept(R_111_6_HAVE_SLEPT,R_111_5_WE)
      & nim19(R_111_6_HAVE_SLEPT,R_111_4_SQUARE)
      & nim23(R_111_6_HAVE_SLEPT,R_111_8_BEFORE) ) ).

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