108_a_loosechange
He want to know where we sleep tonight.’
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_108_2_WANT,R_108_3_TO_KNOW,R_108_1_HE,R_108_7_SLEEP,R_108_6_WE,R_108_5_WHERE,R_108_8_TONIGHT] :
( he(R_108_1_HE)
& we(R_108_6_WE)
& where(R_108_5_WHERE)
& tonight(R_108_8_TONIGHT)
& want(R_108_2_WANT,R_108_1_HE,R_108_3_TO_KNOW)
& to_know(R_108_3_TO_KNOW,R_108_1_HE,R_108_7_SLEEP)
& sleep(R_108_7_SLEEP,R_108_6_WE)
& nim14(R_108_7_SLEEP,R_108_5_WHERE)
& nim22(R_108_7_SLEEP,R_108_8_TONIGHT) ) ).
( (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))