53_a_wilde_1_1888
The eyes of the Happy Prince were filled with tears, and tears were running down his golden cheeks.
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, attrib15).
arc(r_0053_0007__were, r_0053_0008__filled, scope).
arc(r_0053_0008__filled, r_0053_0001__The_r_0053_0002__eyes, arg1).
arc(r_0053_0008__filled, r_0053_0010__tears, r_0053_0009__with_clr30).
arc(r_0053_0008__filled, z_000_53_a_wilde_1_1888_23, 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, scope).
arc(r_0053_0015__running, r_0053_0013__tears, arg0).
arc(r_0053_0015__running, r_0053_0019__cheeks, r_0053_0016__down_clr50).
arc(r_0053_0019__cheeks, r_0053_0004__the_r_0053_0006__Prince, gen).
arc(r_0053_0019__cheeks, r_0053_0018__golden, attrib54).
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_000_53_A_WILDE_1_1888_23,R_0053_0007__WERE_R_0053_0008__FILLED,R_0053_0013__TEARS,R_0053_0018__GOLDEN,R_0053_0019__CHEEKS,R_0053_0014__WERE_R_0053_0015__RUNNING,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_000_53_a_wilde_1_1888_23(Z_000_53_A_WILDE_1_1888_23)
& r_0053_0012__and(R_0053_0012__AND)
& has_conj2(R_0053_0012__AND,R_0053_0014__WERE_R_0053_0015__RUNNING)
& r_0053_0014__were_r_0053_0015__running(R_0053_0014__WERE_R_0053_0015__RUNNING)
& has_r_0053_0016__down_clr50(R_0053_0014__WERE_R_0053_0015__RUNNING,R_0053_0019__CHEEKS)
& r_0053_0019__cheeks(R_0053_0019__CHEEKS)
& has_attrib54(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_attrib15(R_0053_0004__THE_R_0053_0006__PRINCE,R_0053_0005__HAPPY)
& has_arg0(R_0053_0014__WERE_R_0053_0015__RUNNING,R_0053_0013__TEARS)
& has_conj1(R_0053_0012__AND,R_0053_0007__WERE_R_0053_0008__FILLED)
& r_0053_0007__were_r_0053_0008__filled(R_0053_0007__WERE_R_0053_0008__FILLED)
& has_arg0(R_0053_0007__WERE_R_0053_0008__FILLED,Z_000_53_A_WILDE_1_1888_23)
& has_r_0053_0009__with_clr30(R_0053_0007__WERE_R_0053_0008__FILLED,R_0053_0010__TEARS)
& has_arg1(R_0053_0007__WERE_R_0053_0008__FILLED,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) ) ).
( (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))