122_a_wilde_1_1888
and he was in high spirits at the prospect.
( (IP-MAT (CONJ;_cl_ and;{and})
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(BED;_Ipr_ was;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (ADJP (ADJ high;{high}))
(NS spirits;{spirit})
(PP (P-ROLE at;{at})
(NP (D the;{the})
(N prospect;{prospect})))))
(PUNC .))
(ID 122_a_wilde_1_1888))
arc(r_0122_0003__was_r_0122_0004__in,r_0122_0002__he,arg0).
arc(r_0122_0003__was_r_0122_0004__in,r_0122_0006__spirits,arg1).
arc(r_0122_0006__spirits,r_0122_0005__high,attrib).
arc(r_0122_0006__spirits,r_0122_0008__the_r_0122_0009__prospect,r_0122_0007__at).
fof(formula,axiom,
? [R_0122_0002__HE,R_0122_0005__HIGH,R_0122_0008__THE_R_0122_0009__PROSPECT,R_0122_0006__SPIRITS,R_0122_0003__WAS_R_0122_0004__IN] :
( r_0122_0002__he(R_0122_0002__HE)
& r_0122_0005__high(R_0122_0005__HIGH)
& r_0122_0008__the_r_0122_0009__prospect(R_0122_0008__THE_R_0122_0009__PROSPECT)
& r_0122_0003__was_r_0122_0004__in(R_0122_0003__WAS_R_0122_0004__IN)
& has_arg1(R_0122_0003__WAS_R_0122_0004__IN,R_0122_0006__SPIRITS)
& r_0122_0006__spirits(R_0122_0006__SPIRITS)
& has_r_0122_0007__at(R_0122_0006__SPIRITS,R_0122_0008__THE_R_0122_0009__PROSPECT)
& has_attrib(R_0122_0006__SPIRITS,R_0122_0005__HIGH)
& has_arg0(R_0122_0003__WAS_R_0122_0004__IN,R_0122_0002__HE) ) ).