32_a_wilde_1_1888
“I am off to the Pyramids. Good-bye!”
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{SWALLOW} (PRO I;{I}))
(BEP;_Ip_ am;{be[off]})
(ADVP-CLR (RP off;{off}))
(PP-NIM (P-ROLE to;{to})
(NP (D the;{the})
(NS Pyramids;{pyramid})))
(PUNC .)
(INTJ Good_<hyphen>_bye)
(PUNC !)
(PURQ <rdquo>))
(ID 32_a_wilde_1_1888))
arc(r_0032_0003__am_r_0032_0004__off,r_0032_0002__I,arg0).
arc(r_0032_0003__am_r_0032_0004__off,r_0032_0006__the_r_0032_0007__Pyramids,r_0032_0005__to__nim).
fof(formula,axiom,
? [R_0032_0002__I,R_0032_0006__THE_R_0032_0007__PYRAMIDS,R_0032_0003__AM_R_0032_0004__OFF] :
( r_0032_0002__I(R_0032_0002__I)
& r_0032_0006__the_r_0032_0007__Pyramids(R_0032_0006__THE_R_0032_0007__PYRAMIDS)
& r_0032_0003__am_r_0032_0004__off(R_0032_0003__AM_R_0032_0004__OFF)
& has_r_0032_0005__to__nim(R_0032_0003__AM_R_0032_0004__OFF,R_0032_0006__THE_R_0032_0007__PYRAMIDS)
& has_arg0(R_0032_0003__AM_R_0032_0004__OFF,R_0032_0002__I) ) ).