( (IP-MAT (NP-SBJ;{BROTHER} (PRO He;{he}))
          (VBP;_Tt_ want;{want})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tw_ know;{know})
                      (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV where;{where}))
                                          (NP-SBJ;{LAYLOR+BROTHER} (PRO we;{we}))
                                          (VBP;_I_ sleep;{sleep})
                                          (ADVP-NIM (ADV tonight;{tonight})))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 108_a_loosechange))

arc(r_0108_0002__want,r_0108_0001__He,arg0).
arc(r_0108_0002__want,r_0108_0004__know,arg1).
arc(r_0108_0004__know,r_0108_0001__He,arg0).
arc(r_0108_0004__know,r_0108_0007__sleep,arg1).
arc(r_0108_0007__sleep,r_0108_0005__where,nim).
arc(r_0108_0007__sleep,r_0108_0006__we,arg0).
arc(r_0108_0007__sleep,r_0108_0008__tonight,nim).

fof(formula,axiom,
    ? [R_0108_0001__HE,R_0108_0005__WHERE,R_0108_0006__WE,R_0108_0008__TONIGHT,R_0108_0007__SLEEP,R_0108_0004__KNOW,R_0108_0002__WANT] :
      ( r_0108_0001__He(R_0108_0001__HE)
      & r_0108_0005__where(R_0108_0005__WHERE)
      & r_0108_0006__we(R_0108_0006__WE)
      & r_0108_0008__tonight(R_0108_0008__TONIGHT)
      & r_0108_0002__want(R_0108_0002__WANT)
      & has_arg1(R_0108_0002__WANT,R_0108_0004__KNOW)
      & r_0108_0004__know(R_0108_0004__KNOW)
      & has_arg1(R_0108_0004__KNOW,R_0108_0007__SLEEP)
      & r_0108_0007__sleep(R_0108_0007__SLEEP)
      & has_nim(R_0108_0007__SLEEP,R_0108_0008__TONIGHT)
      & has_arg0(R_0108_0007__SLEEP,R_0108_0006__WE)
      & has_nim(R_0108_0007__SLEEP,R_0108_0005__WHERE)
      & has_arg0(R_0108_0004__KNOW,R_0108_0001__HE)
      & has_arg0(R_0108_0002__WANT,R_0108_0001__HE) ) ).