6_a_wilde_2_1888
“How happy we are here!” they cried to each other.
arc(r_0006_0003__happy, r_0006_0002__How, qual5).
arc(r_0006_0005__are, r_0006_0003__happy, prd).
arc(r_0006_0005__are, r_0006_0004__we, arg0).
arc(r_0006_0005__are, r_0006_0006__here, nim15).
fof(formula,axiom,
? [R_0006_0002__HOW,R_0006_0003__HAPPY,R_0006_0004__WE,R_0006_0006__HERE,R_0006_0005__ARE] :
( r_0006_0002__How(R_0006_0002__HOW)
& r_0006_0004__we(R_0006_0004__WE)
& r_0006_0006__here(R_0006_0006__HERE)
& r_0006_0005__are(R_0006_0005__ARE)
& has_nim15(R_0006_0005__ARE,R_0006_0006__HERE)
& has_arg0(R_0006_0005__ARE,R_0006_0004__WE)
& has_prd(R_0006_0005__ARE,R_0006_0003__HAPPY)
& r_0006_0003__happy(R_0006_0003__HAPPY)
& has_qual5(R_0006_0003__HAPPY,R_0006_0002__HOW) ) ).
( (IP-MAT (PULQ <ldquo>)
(ADJP-PRD (ADVP (WADV How;{how}))
(ADJ happy;{happy}))
(NP-SBJ;{CHILDREN} (PRO we;{we}))
(BEP;_La_ are;{be})
(ADVP-NIM (ADV here;{here}))
(PUNC !)
(PURQ <rdquo>)
(PRN (IP-MAT (NP-SBJ;{CHILDREN} (PRO they;{they}))
(VBD;_Tr_ cried;{cry})
(PP-NIM (P-ROLE to;{to})
(NP (PNX each_other;{each_other})))))
(PUNC .))
(ID 6_a_wilde_2_1888))