37_a_wilde_1_1888
Then he saw the statue on the tall column.
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VBD;_Tn_ saw;{see})
(NP-OB1;{STATUE} (D the;{the})
(N statue;{statue})
(PP (P-ROLE on;{on})
(NP (D the;{the})
(ADJP (ADJ tall;{tall}))
(N column;{column}))))
(PUNC .))
(ID 37_a_wilde_1_1888))
arc(r_0037_0003__saw,r_0037_0001__Then,nim).
arc(r_0037_0003__saw,r_0037_0002__he,arg0).
arc(r_0037_0003__saw,r_0037_0004__the_r_0037_0005__statue,arg1).
arc(r_0037_0004__the_r_0037_0005__statue,r_0037_0007__the_r_0037_0009__column,r_0037_0006__on).
arc(r_0037_0007__the_r_0037_0009__column,r_0037_0008__tall,attrib).
fof(formula,axiom,
? [R_0037_0001__THEN,R_0037_0002__HE,R_0037_0008__TALL,R_0037_0007__THE_R_0037_0009__COLUMN,R_0037_0004__THE_R_0037_0005__STATUE,R_0037_0003__SAW] :
( r_0037_0001__Then(R_0037_0001__THEN)
& r_0037_0002__he(R_0037_0002__HE)
& r_0037_0008__tall(R_0037_0008__TALL)
& r_0037_0003__saw(R_0037_0003__SAW)
& has_arg1(R_0037_0003__SAW,R_0037_0004__THE_R_0037_0005__STATUE)
& r_0037_0004__the_r_0037_0005__statue(R_0037_0004__THE_R_0037_0005__STATUE)
& has_r_0037_0006__on(R_0037_0004__THE_R_0037_0005__STATUE,R_0037_0007__THE_R_0037_0009__COLUMN)
& r_0037_0007__the_r_0037_0009__column(R_0037_0007__THE_R_0037_0009__COLUMN)
& has_attrib(R_0037_0007__THE_R_0037_0009__COLUMN,R_0037_0008__TALL)
& has_arg0(R_0037_0003__SAW,R_0037_0002__HE)
& has_nim(R_0037_0003__SAW,R_0037_0001__THEN) ) ).