229_a_wilde_1_1888
and they went up to look at it.
( (IP-MAT (CONJ;_cl_ and;{and})
(NP-SBJ;{MAYOR+COUNCILLORS} (PRO they;{they}))
(VBD;_phr_Vp_ went;{go[up]})
(RP up;{up})
(PP-SCON (IP-INF (TO to;{to})
(VB;__ look;{look})
(PP-CLR (P-ROLE at;{at})
(NP;{PRINCE} (PRO it;{it})))))
(PUNC .))
(ID 229_a_wilde_1_1888))
arc(r_0229_0003__went_r_0229_0004__up,r_0229_0002__they,arg0).
arc(r_0229_0006__look,r_0229_0002__they,arg0).
arc(r_0229_0006__look,r_0229_0008__it,r_0229_0007__at__clr).
arc(z_0229_5001,r_0229_0003__went_r_0229_0004__up,scope).
arc(z_0229_5001,r_0229_0006__look,restriction).
fof(formula,axiom,
? [R_0229_0002__THEY,R_0229_0003__WENT_R_0229_0004__UP,R_0229_0008__IT,R_0229_0006__LOOK,Z_0229_5001] :
( r_0229_0002__they(R_0229_0002__THEY)
& r_0229_0008__it(R_0229_0008__IT)
& z_0229_5001(Z_0229_5001)
& has_conj1(Z_0229_5001,R_0229_0006__LOOK)
& r_0229_0006__look(R_0229_0006__LOOK)
& has_r_0229_0007__at__clr(R_0229_0006__LOOK,R_0229_0008__IT)
& has_arg0(R_0229_0006__LOOK,R_0229_0002__THEY)
& has_conj2(Z_0229_5001,R_0229_0003__WENT_R_0229_0004__UP)
& r_0229_0003__went_r_0229_0004__up(R_0229_0003__WENT_R_0229_0004__UP)
& has_arg0(R_0229_0003__WENT_R_0229_0004__UP,R_0229_0002__THEY) ) ).