158_a_wilde_1_1888
and he looked quite happy.
arc(r_0158_0001__and_r_0158_0003__looked, r_0158_0002__he, arg0).
arc(r_0158_0001__and_r_0158_0003__looked, r_0158_0005__happy, prd).
arc(r_0158_0005__happy, r_0158_0004__quite, qual10).
fof(formula,axiom,
? [R_0158_0002__HE,R_0158_0004__QUITE,R_0158_0005__HAPPY,R_0158_0001__AND_R_0158_0003__LOOKED] :
( r_0158_0002__he(R_0158_0002__HE)
& r_0158_0004__quite(R_0158_0004__QUITE)
& r_0158_0001__and_r_0158_0003__looked(R_0158_0001__AND_R_0158_0003__LOOKED)
& has_prd(R_0158_0001__AND_R_0158_0003__LOOKED,R_0158_0005__HAPPY)
& r_0158_0005__happy(R_0158_0005__HAPPY)
& has_qual10(R_0158_0005__HAPPY,R_0158_0004__QUITE)
& has_arg0(R_0158_0001__AND_R_0158_0003__LOOKED,R_0158_0002__HE) ) ).
( (IP-MAT (CONJ;_cl_ and;{and})
(NP-SBJ;{WRITER} (PRO he;{he}))
(VBD;_La_ looked;{look})
(ADJP-PRD (ADVP (ADV quite;{quite}))
(ADJ happy;{happy}))
(PUNC .))
(ID 158_a_wilde_1_1888))