53_a_wilde_1_1888
The eyes of the Happy Prince were filled with tears, and tears were running down his golden cheeks.
( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
(NS eyes;{eye})
(PP (P-ROLE of;{of})
(NP;{PRINCE} (D the;{the})
(ADJP (ADJ Happy;{happy}))
(N Prince;{prince}))))
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Ipr_ filled;{fill[with]})
(PP-CLR (P-ROLE with;{with})
(NP (NS tears;{tear})))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NS tears;{tear}))
(BED;_cat_Vg_ were;{be})
(IP-PPL-CAT (VAG;_Ipr_ running;{run[down]})
(PP-CLR (P-ROLE down;{down})
(NP (NP-GEN;{PRINCE} (PRO;_genm_ his;{his}))
(ADJP (ADJ golden;{golden}))
(NS cheeks;{cheek})))))))
(PUNC .))
(ID 53_a_wilde_1_1888))
arc(r_0053_0001__The_r_0053_0002__eyes,r_0053_0004__the_r_0053_0006__Prince,r_0053_0003__of).
arc(r_0053_0004__the_r_0053_0006__Prince,r_0053_0005__Happy,attrib).
arc(r_0053_0007__were,r_0053_0008__filled_r_0053_0009__with,scope).
arc(r_0053_0008__filled_r_0053_0009__with,r_0053_0001__The_r_0053_0002__eyes,arg2).
arc(r_0053_0008__filled_r_0053_0009__with,r_0053_0010__tears,arg1).
arc(r_0053_0008__filled_r_0053_0009__with,z_0053_5006___star_,arg0).
arc(r_0053_0012__and,r_0053_0007__were,conj1).
arc(r_0053_0012__and,r_0053_0014__were,conj2).
arc(r_0053_0014__were,r_0053_0015__running_r_0053_0016__down,scope).
arc(r_0053_0015__running_r_0053_0016__down,r_0053_0013__tears,arg0).
arc(r_0053_0015__running_r_0053_0016__down,r_0053_0019__cheeks,arg1).
arc(r_0053_0019__cheeks,r_0053_0004__the_r_0053_0006__Prince,gen).
arc(r_0053_0019__cheeks,r_0053_0018__golden,attrib).
fof(formula,axiom,
? [R_0053_0005__HAPPY,R_0053_0004__THE_R_0053_0006__PRINCE,R_0053_0001__THE_R_0053_0002__EYES,R_0053_0010__TEARS,Z_0053_5006___STAR_,R_0053_0007__WERE_R_0053_0008__FILLED_R_0053_0009__WITH,R_0053_0013__TEARS,R_0053_0018__GOLDEN,R_0053_0019__CHEEKS,R_0053_0014__WERE_R_0053_0015__RUNNING_R_0053_0016__DOWN,R_0053_0012__AND] :
( r_0053_0005__Happy(R_0053_0005__HAPPY)
& r_0053_0010__tears(R_0053_0010__TEARS)
& r_0053_0013__tears(R_0053_0013__TEARS)
& r_0053_0018__golden(R_0053_0018__GOLDEN)
& z_0053_5006___star_(Z_0053_5006___STAR_)
& r_0053_0012__and(R_0053_0012__AND)
& has_conj2(R_0053_0012__AND,R_0053_0014__WERE_R_0053_0015__RUNNING_R_0053_0016__DOWN)
& r_0053_0014__were_r_0053_0015__running_r_0053_0016__down(R_0053_0014__WERE_R_0053_0015__RUNNING_R_0053_0016__DOWN)
& has_arg1(R_0053_0014__WERE_R_0053_0015__RUNNING_R_0053_0016__DOWN,R_0053_0019__CHEEKS)
& r_0053_0019__cheeks(R_0053_0019__CHEEKS)
& has_attrib(R_0053_0019__CHEEKS,R_0053_0018__GOLDEN)
& has_gen(R_0053_0019__CHEEKS,R_0053_0004__THE_R_0053_0006__PRINCE)
& r_0053_0004__the_r_0053_0006__Prince(R_0053_0004__THE_R_0053_0006__PRINCE)
& has_attrib(R_0053_0004__THE_R_0053_0006__PRINCE,R_0053_0005__HAPPY)
& has_arg0(R_0053_0014__WERE_R_0053_0015__RUNNING_R_0053_0016__DOWN,R_0053_0013__TEARS)
& has_conj1(R_0053_0012__AND,R_0053_0007__WERE_R_0053_0008__FILLED_R_0053_0009__WITH)
& r_0053_0007__were_r_0053_0008__filled_r_0053_0009__with(R_0053_0007__WERE_R_0053_0008__FILLED_R_0053_0009__WITH)
& has_arg0(R_0053_0007__WERE_R_0053_0008__FILLED_R_0053_0009__WITH,Z_0053_5006___STAR_)
& has_arg1(R_0053_0007__WERE_R_0053_0008__FILLED_R_0053_0009__WITH,R_0053_0010__TEARS)
& has_arg2(R_0053_0007__WERE_R_0053_0008__FILLED_R_0053_0009__WITH,R_0053_0001__THE_R_0053_0002__EYES)
& r_0053_0001__The_r_0053_0002__eyes(R_0053_0001__THE_R_0053_0002__EYES)
& has_r_0053_0003__of(R_0053_0001__THE_R_0053_0002__EYES,R_0053_0004__THE_R_0053_0006__PRINCE) ) ).