226_a_wilde_1_1888
As they passed the column he looked up at the statue:
arc(r_0226_0001__As, r_0226_0003__passed, restriction).
arc(r_0226_0001__As, r_0226_0007__looked, scope).
arc(r_0226_0003__passed, r_0226_0002__they, arg0).
arc(r_0226_0003__passed, r_0226_0004__the_r_0226_0005__column, arg1).
arc(r_0226_0007__looked, r_0226_0006__he, arg0).
arc(r_0226_0007__looked, r_0226_0008__up, nim21).
arc(r_0226_0007__looked, r_0226_0010__the_r_0226_0011__statue, r_0226_0009__at_clr27).
fof(formula,axiom,
? [R_226_1_AS,R_226_3_PASSED,R_226_2_THEY,R_226_4_THE_COLUMN,R_226_7_LOOKED,R_226_6_HE,R_226_8_UP,R_226_10_THE_STATUE] :
( they(R_226_2_THEY)
& the_column(R_226_4_THE_COLUMN)
& he(R_226_6_HE)
& up(R_226_8_UP)
& the_statue(R_226_10_THE_STATUE)
& as(R_226_1_AS)
& conj1(R_226_1_AS,R_226_3_PASSED)
& passed(R_226_3_PASSED,R_226_2_THEY,R_226_4_THE_COLUMN)
& conj2(R_226_1_AS,R_226_7_LOOKED)
& looked(R_226_7_LOOKED,R_226_6_HE)
& nim21(R_226_7_LOOKED,R_226_8_UP)
& at_clr27(R_226_7_LOOKED,R_226_10_THE_STATUE) ) ).
( (IP-MAT (PP-SCON (P-CONN As;{as})
(IP-ADV (NP-SBJ;{MAYOR_COUNCILLORS} (PRO they;{they}))
(VBD;_Tn_ passed;{pass})
(NP-OB1 (D the;{the})
(N column;{column}))))
(NP-SBJ;{MAYOR} (PRO he;{he}))
(VBD;_Ipr_ looked;{look[at]})
(ADVP-NIM (ADV up;{up}))
(PP-CLR (P-ROLE at;{at})
(NP (D the;{the})
(N statue;{statue})))
(PUNC :))
(ID 226_a_wilde_1_1888))