166_a_wilde_1_1888
“It is winter,” answered the Swallow,
( (IP-MAT (PULQ <ldquo>)
(utterance-OB1 (IP-MAT (NP-SBJ (PRO It;{it}))
(BEP;_Ln_ is;{be})
(NP-PRD (N winter;{winter}))))
(PUNC ,)
(PURQ <rdquo>)
(VBD;_Tr_ answered;{answer})
(NP-SBJ (D the;{the})
(N Swallow;{swallow}))
(PUNC ,))
(ID 166_a_wilde_1_1888))
arc(r_0166_0003__is,r_0166_0002__It,arg0).
arc(r_0166_0003__is,r_0166_0004__winter,prd).
arc(r_0166_0007__answered,r_0166_0008__the_r_0166_0009__Swallow,arg0).
arc(r_0166_0007__answered,z_0166_5002__utterance,arg1).
arc(z_0166_5002__utterance,r_0166_0003__is,part1).
fof(formula,axiom,
? [R_0166_0008__THE_R_0166_0009__SWALLOW,R_0166_0002__IT,R_0166_0004__WINTER,R_0166_0003__IS,Z_0166_5002__UTTERANCE,R_0166_0007__ANSWERED] :
( r_0166_0002__It(R_0166_0002__IT)
& r_0166_0004__winter(R_0166_0004__WINTER)
& r_0166_0008__the_r_0166_0009__Swallow(R_0166_0008__THE_R_0166_0009__SWALLOW)
& r_0166_0007__answered(R_0166_0007__ANSWERED)
& has_arg1(R_0166_0007__ANSWERED,Z_0166_5002__UTTERANCE)
& z_0166_5002__utterance(Z_0166_5002__UTTERANCE)
& has_part1(Z_0166_5002__UTTERANCE,R_0166_0003__IS)
& r_0166_0003__is(R_0166_0003__IS)
& has_prd(R_0166_0003__IS,R_0166_0004__WINTER)
& has_arg0(R_0166_0003__IS,R_0166_0002__IT)
& has_arg0(R_0166_0007__ANSWERED,R_0166_0008__THE_R_0166_0009__SWALLOW) ) ).