15_a_wilde_1_1888
One night there flew over the city a little Swallow.
( (IP-MAT (NP-NIM (NUM One;{one})
(N night;{night}))
(EX there;{there})
(VBD;_ex_Vpr_ flew;{fly[over]})
(PP-CLR (P-ROLE over;{over})
(NP (D the;{the})
(N city;{city})))
(NP-ESBJ;{SWALLOW} (D a;{a})
(ADJP (ADJ little;{little}))
(N Swallow;{swallow}))
(PUNC .))
(ID 15_a_wilde_1_1888))
arc(r_0015_0004__flew_r_0015_0005__over,r_0015_0001__One_r_0015_0002__night,nim).
arc(r_0015_0004__flew_r_0015_0005__over,r_0015_0006__the_r_0015_0007__city,arg1).
arc(r_0015_0004__flew_r_0015_0005__over,r_0015_0008__a_r_0015_0010__Swallow,arg0).
arc(r_0015_0008__a_r_0015_0010__Swallow,r_0015_0009__little,attrib).
fof(formula,axiom,
? [R_0015_0001__ONE_R_0015_0002__NIGHT,R_0015_0006__THE_R_0015_0007__CITY,R_0015_0009__LITTLE,R_0015_0008__A_R_0015_0010__SWALLOW,R_0015_0004__FLEW_R_0015_0005__OVER] :
( r_0015_0001__One_r_0015_0002__night(R_0015_0001__ONE_R_0015_0002__NIGHT)
& r_0015_0006__the_r_0015_0007__city(R_0015_0006__THE_R_0015_0007__CITY)
& r_0015_0009__little(R_0015_0009__LITTLE)
& r_0015_0004__flew_r_0015_0005__over(R_0015_0004__FLEW_R_0015_0005__OVER)
& has_arg0(R_0015_0004__FLEW_R_0015_0005__OVER,R_0015_0008__A_R_0015_0010__SWALLOW)
& r_0015_0008__a_r_0015_0010__Swallow(R_0015_0008__A_R_0015_0010__SWALLOW)
& has_attrib(R_0015_0008__A_R_0015_0010__SWALLOW,R_0015_0009__LITTLE)
& has_arg1(R_0015_0004__FLEW_R_0015_0005__OVER,R_0015_0006__THE_R_0015_0007__CITY)
& has_nim(R_0015_0004__FLEW_R_0015_0005__OVER,R_0015_0001__ONE_R_0015_0002__NIGHT) ) ).