arc(r_0108_0002__want, r_0108_0001__He, arg0).
arc(r_0108_0002__want, r_0108_0003__to_r_0108_0004__know, arg1).
arc(r_0108_0003__to_r_0108_0004__know, r_0108_0001__He, arg0).
arc(r_0108_0003__to_r_0108_0004__know, r_0108_0007__sleep, arg1).
arc(r_0108_0007__sleep, r_0108_0005__where, nim14).
arc(r_0108_0007__sleep, r_0108_0006__we, arg0).
arc(r_0108_0007__sleep, r_0108_0008__tonight, nim22).

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_0003__TO_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_0003__TO_R_0108_0004__KNOW)
      & r_0108_0003__to_r_0108_0004__know(R_0108_0003__TO_R_0108_0004__KNOW)
      & has_arg1(R_0108_0003__TO_R_0108_0004__KNOW,R_0108_0007__SLEEP)
      & r_0108_0007__sleep(R_0108_0007__SLEEP)
      & has_nim22(R_0108_0007__SLEEP,R_0108_0008__TONIGHT)
      & has_arg0(R_0108_0007__SLEEP,R_0108_0006__WE)
      & has_nim14(R_0108_0007__SLEEP,R_0108_0005__WHERE)
      & has_arg0(R_0108_0003__TO_R_0108_0004__KNOW,R_0108_0001__HE)
      & has_arg0(R_0108_0002__WANT,R_0108_0001__HE) ) ).

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