225_a_wilde_1_1888
Early the next morning the Mayor was walking in the square below in company with the Town Councillors.
( (IP-MAT (ADVP-NIM (ADV Early;{early}))
(NP-NIM (D the;{the})
(ADJP (ADJS next;{next}))
(N morning;{morning}))
(NP-SBJ;{MAYOR} (D the;{the})
(N Mayor;{mayor}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;__ walking;{walk})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N square;{square})
(ADVP-NIM (ADV below;{below}))))
(PP-NIM (P-ROLE in;{in})
(NP (N company;{company})
(PP (P-ROLE with;{with})
(NP;{COUNCILLORS} (D the;{the})
(N Town;{town})
(NS Councillors;{councillor}))))))
(PUNC .))
(ID 225_a_wilde_1_1888))
arc(r_0225_0002__the_r_0225_0004__morning,r_0225_0003__next,attrib).
arc(r_0225_0007__was,r_0225_0001__Early,nim).
arc(r_0225_0007__was,r_0225_0002__the_r_0225_0004__morning,nim).
arc(r_0225_0007__was,r_0225_0008__walking,scope).
arc(r_0225_0008__walking,r_0225_0005__the_r_0225_0006__Mayor,arg0).
arc(r_0225_0008__walking,r_0225_0010__the_r_0225_0011__square,r_0225_0009__in__nim).
arc(r_0225_0008__walking,r_0225_0014__company,r_0225_0013__in__nim).
arc(r_0225_0010__the_r_0225_0011__square,r_0225_0012__below,nim).
arc(r_0225_0014__company,r_0225_0016__the_r_0225_0017__Town_r_0225_0018__Councillors,r_0225_0015__with).
fof(formula,axiom,
? [R_0225_0001__EARLY,R_0225_0003__NEXT,R_0225_0002__THE_R_0225_0004__MORNING,R_0225_0005__THE_R_0225_0006__MAYOR,R_0225_0012__BELOW,R_0225_0010__THE_R_0225_0011__SQUARE,R_0225_0016__THE_R_0225_0017__TOWN_R_0225_0018__COUNCILLORS,R_0225_0014__COMPANY,R_0225_0007__WAS_R_0225_0008__WALKING] :
( r_0225_0001__Early(R_0225_0001__EARLY)
& r_0225_0003__next(R_0225_0003__NEXT)
& r_0225_0005__the_r_0225_0006__Mayor(R_0225_0005__THE_R_0225_0006__MAYOR)
& r_0225_0012__below(R_0225_0012__BELOW)
& r_0225_0016__the_r_0225_0017__Town_r_0225_0018__Councillors(R_0225_0016__THE_R_0225_0017__TOWN_R_0225_0018__COUNCILLORS)
& r_0225_0007__was_r_0225_0008__walking(R_0225_0007__WAS_R_0225_0008__WALKING)
& has_r_0225_0013__in__nim(R_0225_0007__WAS_R_0225_0008__WALKING,R_0225_0014__COMPANY)
& r_0225_0014__company(R_0225_0014__COMPANY)
& has_r_0225_0015__with(R_0225_0014__COMPANY,R_0225_0016__THE_R_0225_0017__TOWN_R_0225_0018__COUNCILLORS)
& has_r_0225_0009__in__nim(R_0225_0007__WAS_R_0225_0008__WALKING,R_0225_0010__THE_R_0225_0011__SQUARE)
& r_0225_0010__the_r_0225_0011__square(R_0225_0010__THE_R_0225_0011__SQUARE)
& has_nim(R_0225_0010__THE_R_0225_0011__SQUARE,R_0225_0012__BELOW)
& has_arg0(R_0225_0007__WAS_R_0225_0008__WALKING,R_0225_0005__THE_R_0225_0006__MAYOR)
& has_nim(R_0225_0007__WAS_R_0225_0008__WALKING,R_0225_0002__THE_R_0225_0004__MORNING)
& r_0225_0002__the_r_0225_0004__morning(R_0225_0002__THE_R_0225_0004__MORNING)
& has_attrib(R_0225_0002__THE_R_0225_0004__MORNING,R_0225_0003__NEXT)
& has_nim(R_0225_0007__WAS_R_0225_0008__WALKING,R_0225_0001__EARLY) ) ).