236_a_wilde_1_1888
So they pulled down the statue of the Happy Prince.
( (IP-MAT (ADVP-NIM (ADV So;{so}))
(NP-SBJ;{MAYOR+COUNCILLORS} (PRO they;{they}))
(VBD;__ pulled;{pull})
(RP down;{down})
(NP-OB1 (D the;{the})
(N statue;{statue})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ Happy;{happy}))
(N Prince;{prince}))))
(PUNC .))
(ID 236_a_wilde_1_1888))
arc(r_0236_0003__pulled_r_0236_0004__down,r_0236_0001__So,nim).
arc(r_0236_0003__pulled_r_0236_0004__down,r_0236_0002__they,arg0).
arc(r_0236_0003__pulled_r_0236_0004__down,r_0236_0005__the_r_0236_0006__statue,arg1).
arc(r_0236_0005__the_r_0236_0006__statue,r_0236_0008__the_r_0236_0010__Prince,r_0236_0007__of).
arc(r_0236_0008__the_r_0236_0010__Prince,r_0236_0009__Happy,attrib).
fof(formula,axiom,
? [R_0236_0001__SO,R_0236_0002__THEY,R_0236_0009__HAPPY,R_0236_0008__THE_R_0236_0010__PRINCE,R_0236_0005__THE_R_0236_0006__STATUE,R_0236_0003__PULLED_R_0236_0004__DOWN] :
( r_0236_0001__So(R_0236_0001__SO)
& r_0236_0002__they(R_0236_0002__THEY)
& r_0236_0009__Happy(R_0236_0009__HAPPY)
& r_0236_0003__pulled_r_0236_0004__down(R_0236_0003__PULLED_R_0236_0004__DOWN)
& has_arg1(R_0236_0003__PULLED_R_0236_0004__DOWN,R_0236_0005__THE_R_0236_0006__STATUE)
& r_0236_0005__the_r_0236_0006__statue(R_0236_0005__THE_R_0236_0006__STATUE)
& has_r_0236_0007__of(R_0236_0005__THE_R_0236_0006__STATUE,R_0236_0008__THE_R_0236_0010__PRINCE)
& r_0236_0008__the_r_0236_0010__Prince(R_0236_0008__THE_R_0236_0010__PRINCE)
& has_attrib(R_0236_0008__THE_R_0236_0010__PRINCE,R_0236_0009__HAPPY)
& has_arg0(R_0236_0003__PULLED_R_0236_0004__DOWN,R_0236_0002__THEY)
& has_nim(R_0236_0003__PULLED_R_0236_0004__DOWN,R_0236_0001__SO) ) ).