75_a_wilde_2_1888
“How I would like to see him!” he used to say.
( (IP-MAT (PULQ <ldquo>)
(ADVP-154 (WADV How;{how}))
(NP-SBJ (PRO I;{I}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (ADVP-NIM *ICH*-154)
(VB;_Tt_ like;{like})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ see;{see})
(NP-OB1;{LITTLE_BOY} (PRO him;{he}))))
(PUNC !)
(PURQ <rdquo>)
(PRN (IP-MAT (NP-SBJ;{GIANT} (PRO he;{he}))
(MD;_cat_Vt_ used;{used})
(IP-INF-CAT (TO to;{to})
(VB;_Tf_ say;{say}))))
(PUNC .))
(ID 75_a_wilde_2_1888))
arc(r_0075_0004__would,r_0075_0005__like,scope).
arc(r_0075_0004__would,r_0075_0012__used,prn).
arc(r_0075_0005__like,r_0075_0002__How,nim).
arc(r_0075_0005__like,r_0075_0003__I,arg0).
arc(r_0075_0005__like,r_0075_0007__see,arg1).
arc(r_0075_0007__see,r_0075_0003__I,arg0).
arc(r_0075_0007__see,r_0075_0008__him,arg1).
arc(r_0075_0012__used,r_0075_0014__say,scope).
arc(r_0075_0014__say,r_0075_0011__he,arg0).
fof(formula,axiom,
? [R_0075_0011__HE,R_0075_0012__USED_R_0075_0014__SAY,R_0075_0002__HOW,R_0075_0003__I,R_0075_0008__HIM,R_0075_0007__SEE,R_0075_0004__WOULD_R_0075_0005__LIKE] :
( r_0075_0002__How(R_0075_0002__HOW)
& r_0075_0003__I(R_0075_0003__I)
& r_0075_0008__him(R_0075_0008__HIM)
& r_0075_0011__he(R_0075_0011__HE)
& r_0075_0004__would_r_0075_0005__like(R_0075_0004__WOULD_R_0075_0005__LIKE)
& has_arg1(R_0075_0004__WOULD_R_0075_0005__LIKE,R_0075_0007__SEE)
& r_0075_0007__see(R_0075_0007__SEE)
& has_arg1(R_0075_0007__SEE,R_0075_0008__HIM)
& has_arg0(R_0075_0007__SEE,R_0075_0003__I)
& has_arg0(R_0075_0004__WOULD_R_0075_0005__LIKE,R_0075_0003__I)
& has_nim(R_0075_0004__WOULD_R_0075_0005__LIKE,R_0075_0002__HOW)
& has_prn(R_0075_0004__WOULD_R_0075_0005__LIKE,R_0075_0012__USED_R_0075_0014__SAY)
& r_0075_0012__used_r_0075_0014__say(R_0075_0012__USED_R_0075_0014__SAY)
& has_arg0(R_0075_0012__USED_R_0075_0014__SAY,R_0075_0011__HE) ) ).