32_a_wilde_2_1888
He was dressed in grey, and his breath was like ice.
arc(r_0032_0002__was, r_0032_0003__dressed, scope).
arc(r_0032_0003__dressed, r_0032_0001__He, arg1).
arc(r_0032_0003__dressed, r_0032_0005__grey, r_0032_0004__in_nim17).
arc(r_0032_0003__dressed, z_000_32_a_wilde_2_1888_10, arg0).
arc(r_0032_0007__and, r_0032_0002__was, conj1).
arc(r_0032_0007__and, r_0032_0010__was, conj2).
arc(r_0032_0009__breath, r_0032_0008__his, gen).
arc(r_0032_0010__was, r_0032_0009__breath, arg0).
arc(r_0032_0010__was, r_0032_0012__ice, r_0032_0011__like_clr37).
fof(formula,axiom,
? [R_0032_0001__HE,R_0032_0005__GREY,Z_000_32_A_WILDE_2_1888_10,R_0032_0002__WAS_R_0032_0003__DRESSED,R_0032_0008__HIS,R_0032_0009__BREATH,R_0032_0012__ICE,R_0032_0010__WAS,R_0032_0007__AND] :
( r_0032_0001__He(R_0032_0001__HE)
& r_0032_0005__grey(R_0032_0005__GREY)
& r_0032_0008__his(R_0032_0008__HIS)
& r_0032_0012__ice(R_0032_0012__ICE)
& z_000_32_a_wilde_2_1888_10(Z_000_32_A_WILDE_2_1888_10)
& r_0032_0007__and(R_0032_0007__AND)
& has_conj2(R_0032_0007__AND,R_0032_0010__WAS)
& r_0032_0010__was(R_0032_0010__WAS)
& has_r_0032_0011__like_clr37(R_0032_0010__WAS,R_0032_0012__ICE)
& has_arg0(R_0032_0010__WAS,R_0032_0009__BREATH)
& r_0032_0009__breath(R_0032_0009__BREATH)
& has_gen(R_0032_0009__BREATH,R_0032_0008__HIS)
& has_conj1(R_0032_0007__AND,R_0032_0002__WAS_R_0032_0003__DRESSED)
& r_0032_0002__was_r_0032_0003__dressed(R_0032_0002__WAS_R_0032_0003__DRESSED)
& has_arg0(R_0032_0002__WAS_R_0032_0003__DRESSED,Z_000_32_A_WILDE_2_1888_10)
& has_r_0032_0004__in_nim17(R_0032_0002__WAS_R_0032_0003__DRESSED,R_0032_0005__GREY)
& has_arg1(R_0032_0002__WAS_R_0032_0003__DRESSED,R_0032_0001__HE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{HAIL} (PRO He;{he}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ dressed;{dress})
(PP-NIM (P-ROLE in;{in})
(NP (N grey;{grey})))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NP-GEN;{HAIL} (PRO;_genm_ his;{his}))
(N breath;{breath}))
(BED;_Ipr_ was;{be[like]})
(PP-CLR (P-ROLE like;{like})
(NP (N ice;{ice}))))))
(PUNC .))
(ID 32_a_wilde_2_1888))