20_a_wilde_1_1888
This was his courtship, and it lasted all through the summer.
( (IP-MAT (ILYR (ILYR (NP-SBJ;{COURTSHIP} (D;_nphd_ This;{this}))
(BED;_Ln_ was;{be})
(NP-PRD (NP-GEN;{SWALLOW} (PRO;_genm_ his;{his}))
(N courtship;{courtship})))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{COURTSHIP} (PRO it;{it}))
(VBD;_In/pr_ lasted;{last})
(PP-CLR (ADVP-NIM (ADV all;{all}))
(P-ROLE through;{through})
(NP (D the;{the})
(N summer;{summer}))))))
(PUNC .))
(ID 20_a_wilde_1_1888))
arc(r_0020_0002__was,r_0020_0001__This,arg0).
arc(r_0020_0002__was,r_0020_0004__courtship,prd).
arc(r_0020_0004__courtship,r_0020_0003__his,gen).
arc(r_0020_0006__and,r_0020_0002__was,conj1).
arc(r_0020_0006__and,r_0020_0008__lasted,conj2).
arc(r_0020_0008__lasted,r_0020_0001__This,arg0).
arc(r_0020_0008__lasted,r_0020_0011__the_r_0020_0012__summer,r_0020_0009__all_r_0020_0010__through__clr).
fof(formula,axiom,
? [R_0020_0001__THIS,R_0020_0003__HIS,R_0020_0004__COURTSHIP,R_0020_0002__WAS,R_0020_0011__THE_R_0020_0012__SUMMER,R_0020_0008__LASTED,R_0020_0006__AND] :
( r_0020_0001__This(R_0020_0001__THIS)
& r_0020_0003__his(R_0020_0003__HIS)
& r_0020_0011__the_r_0020_0012__summer(R_0020_0011__THE_R_0020_0012__SUMMER)
& r_0020_0006__and(R_0020_0006__AND)
& has_conj2(R_0020_0006__AND,R_0020_0008__LASTED)
& r_0020_0008__lasted(R_0020_0008__LASTED)
& has_r_0020_0009__all_r_0020_0010__through__clr(R_0020_0008__LASTED,R_0020_0011__THE_R_0020_0012__SUMMER)
& has_arg0(R_0020_0008__LASTED,R_0020_0001__THIS)
& has_conj1(R_0020_0006__AND,R_0020_0002__WAS)
& r_0020_0002__was(R_0020_0002__WAS)
& has_prd(R_0020_0002__WAS,R_0020_0004__COURTSHIP)
& r_0020_0004__courtship(R_0020_0004__COURTSHIP)
& has_gen(R_0020_0004__COURTSHIP,R_0020_0003__HIS)
& has_arg0(R_0020_0002__WAS,R_0020_0001__THIS) ) ).