134_a_wilde_1_1888
At noon the yellow lions come down to the water's edge to drink.
arc(r_0134_0003__the_r_0134_0005__lions, r_0134_0004__yellow, attrib11).
arc(r_0134_0006__come, r_0134_0002__noon, r_0134_0001__At_nim5).
arc(r_0134_0006__come, r_0134_0003__the_r_0134_0005__lions, arg0).
arc(r_0134_0006__come, r_0134_0011__edge, r_0134_0007__down_to_clr21).
arc(r_0134_0011__edge, r_0134_0008__the_r_0134_0009__water_r_0134_0010___apos_s, gen).
arc(r_0134_0012__to_r_0134_0013__drink, r_0134_0003__the_r_0134_0005__lions, arg0).
arc(z_000_134_a_wilde_1_1888_31, r_0134_0006__come, scope).
arc(z_000_134_a_wilde_1_1888_31, r_0134_0012__to_r_0134_0013__drink, restriction).
fof(formula,axiom,
? [Z_134_A_WILDE_1_1888_31,R_134_12_TO_DRINK,R_134_6_COME,R_134_3_THE_LIONS,R_134_4_YELLOW,R_134_2_NOON,R_134_11_EDGE,R_134_8_THE_WATER_APOS_S] :
( yellow(R_134_4_YELLOW)
& noon(R_134_2_NOON)
& the_water_apos_s(R_134_8_THE_WATER_APOS_S)
& z_134_a_wilde_1_1888_31(Z_134_A_WILDE_1_1888_31)
& conj1(Z_134_A_WILDE_1_1888_31,R_134_12_TO_DRINK)
& to_drink(R_134_12_TO_DRINK,R_134_3_THE_LIONS)
& the_lions(R_134_3_THE_LIONS)
& attrib11(R_134_3_THE_LIONS,R_134_4_YELLOW)
& conj2(Z_134_A_WILDE_1_1888_31,R_134_6_COME)
& come(R_134_6_COME,R_134_3_THE_LIONS)
& at_nim5(R_134_6_COME,R_134_2_NOON)
& down_to_clr21(R_134_6_COME,R_134_11_EDGE)
& edge(R_134_11_EDGE)
& gen(R_134_11_EDGE,R_134_8_THE_WATER_APOS_S) ) ).
( (IP-MAT (PP-NIM (P-ROLE At;{at})
(NP (N noon;{noon})))
(NP-SBJ;{LIONS} (D the;{the})
(ADJP (ADJ yellow;{yellow}))
(NS lions;{lion}))
(VBP;_Ipr_ come;{come[down_to]})
(PP-CLR (P-ROLE down_to;{down_to})
(NP (NP-GEN (D the;{the})
(N water;{water})
(GENM <apos>s))
(N edge;{edge})))
(PP-SCON (IP-INF2 (TO to;{to})
(VB;_I_ drink;{drink})))
(PUNC .))
(ID 134_a_wilde_1_1888))