8_a_wilde_1_1888
“The Happy Prince never dreams of crying for anything.”
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{PRINCE} (D The;{the})
(ADJP (ADJ Happy;{happy}))
(N Prince;{prince}))
(ADVP-NIM (ADV never;{never}))
(VBP;_Ipr_ dreams;{dream[of]})
(PP-CLR (P-ROLE of;{of})
(IP-PPL (VAG;_Ipr_ crying;{cry[for]})
(PP-CLR (P-ROLE for;{for})
(NP (D;_nphd_ anything;{anything})))))
(PUNC .)
(PURQ <rdquo>))
(ID 8_a_wilde_1_1888))
arc(r_0008_0002__The_r_0008_0004__Prince,r_0008_0003__Happy,attrib).
arc(r_0008_0006__dreams,r_0008_0002__The_r_0008_0004__Prince,arg0).
arc(r_0008_0006__dreams,r_0008_0005__never,nim).
arc(r_0008_0006__dreams,r_0008_0008__crying_r_0008_0009__for,r_0008_0007__of__clr).
arc(r_0008_0008__crying_r_0008_0009__for,r_0008_0002__The_r_0008_0004__Prince,arg0).
arc(r_0008_0008__crying_r_0008_0009__for,r_0008_0010__anything,arg1).
fof(formula,axiom,
? [R_0008_0003__HAPPY,R_0008_0002__THE_R_0008_0004__PRINCE,R_0008_0005__NEVER,R_0008_0010__ANYTHING,R_0008_0008__CRYING_R_0008_0009__FOR,R_0008_0006__DREAMS] :
( r_0008_0003__Happy(R_0008_0003__HAPPY)
& r_0008_0005__never(R_0008_0005__NEVER)
& r_0008_0010__anything(R_0008_0010__ANYTHING)
& r_0008_0006__dreams(R_0008_0006__DREAMS)
& has_r_0008_0007__of__clr(R_0008_0006__DREAMS,R_0008_0008__CRYING_R_0008_0009__FOR)
& r_0008_0008__crying_r_0008_0009__for(R_0008_0008__CRYING_R_0008_0009__FOR)
& has_arg1(R_0008_0008__CRYING_R_0008_0009__FOR,R_0008_0010__ANYTHING)
& has_arg0(R_0008_0008__CRYING_R_0008_0009__FOR,R_0008_0002__THE_R_0008_0004__PRINCE)
& r_0008_0002__The_r_0008_0004__Prince(R_0008_0002__THE_R_0008_0004__PRINCE)
& has_attrib(R_0008_0002__THE_R_0008_0004__PRINCE,R_0008_0003__HAPPY)
& has_nim(R_0008_0006__DREAMS,R_0008_0005__NEVER)
& has_arg0(R_0008_0006__DREAMS,R_0008_0002__THE_R_0008_0004__PRINCE) ) ).