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_158_1_AND_LOOKED,R_158_2_HE,R_158_5_HAPPY,R_158_4_QUITE] :
( he(R_158_2_HE)
& quite(R_158_4_QUITE)
& and_looked(R_158_1_AND_LOOKED,R_158_2_HE,R_158_5_HAPPY)
& happy(R_158_5_HAPPY)
& qual10(R_158_5_HAPPY,R_158_4_QUITE) ) ).
( (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))