246_a_wilde_1_1888
We must throw it away.”
( (IP-MAT (NP-SBJ;{WORKMEN} (PRO We;{we}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (VB;__ throw;{throw})
(NP-OB1;{HEART} (PRO it;{it}))
(ADVP-NIM (ADV away;{away})))
(PUNC .)
(PURQ <rdquo>))
(ID 246_a_wilde_1_1888))
arc(r_0246_0002__must,r_0246_0003__throw,scope).
arc(r_0246_0003__throw,r_0246_0001__We,arg0).
arc(r_0246_0003__throw,r_0246_0004__it,arg1).
arc(r_0246_0003__throw,r_0246_0005__away,nim).
fof(formula,axiom,
? [R_0246_0001__WE,R_0246_0004__IT,R_0246_0005__AWAY,R_0246_0002__MUST_R_0246_0003__THROW] :
( r_0246_0001__We(R_0246_0001__WE)
& r_0246_0004__it(R_0246_0004__IT)
& r_0246_0005__away(R_0246_0005__AWAY)
& r_0246_0002__must_r_0246_0003__throw(R_0246_0002__MUST_R_0246_0003__THROW)
& has_nim(R_0246_0002__MUST_R_0246_0003__THROW,R_0246_0005__AWAY)
& has_arg1(R_0246_0002__MUST_R_0246_0003__THROW,R_0246_0004__IT)
& has_arg0(R_0246_0002__MUST_R_0246_0003__THROW,R_0246_0001__WE) ) ).