613_a_dick_1952
The ship roared up, flying over the ruins of the city.
( (IP-MAT (NP-SBJ;{SHIP} (D The;{the})
(N ship;{ship}))
(VBD;_Ip_ roared;{roar[up]})
(ADVP-CLR (RP up;{up}))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Ipr_ flying;{fly[over]})
(PP-CLR (P-ROLE over;{over})
(NP (D the;{the})
(NS ruins;{ruin})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N city;{city})))))))
(PUNC .))
(ID 613_a_dick_1952))
arc(r_0613_0003__roared_r_0613_0004__up,r_0613_0001__The_r_0613_0002__ship,arg0).
arc(r_0613_0006__flying_r_0613_0007__over,r_0613_0001__The_r_0613_0002__ship,arg0).
arc(r_0613_0006__flying_r_0613_0007__over,r_0613_0008__the_r_0613_0009__ruins,arg1).
arc(r_0613_0008__the_r_0613_0009__ruins,r_0613_0011__the_r_0613_0012__city,r_0613_0010__of).
arc(z_0613_5002,r_0613_0003__roared_r_0613_0004__up,scope).
arc(z_0613_5002,r_0613_0006__flying_r_0613_0007__over,restriction).
fof(formula,axiom,
? [R_0613_0001__THE_R_0613_0002__SHIP,R_0613_0003__ROARED_R_0613_0004__UP,R_0613_0011__THE_R_0613_0012__CITY,R_0613_0008__THE_R_0613_0009__RUINS,R_0613_0006__FLYING_R_0613_0007__OVER,Z_0613_5002] :
( r_0613_0001__The_r_0613_0002__ship(R_0613_0001__THE_R_0613_0002__SHIP)
& r_0613_0011__the_r_0613_0012__city(R_0613_0011__THE_R_0613_0012__CITY)
& z_0613_5002(Z_0613_5002)
& has_conj1(Z_0613_5002,R_0613_0006__FLYING_R_0613_0007__OVER)
& r_0613_0006__flying_r_0613_0007__over(R_0613_0006__FLYING_R_0613_0007__OVER)
& has_arg1(R_0613_0006__FLYING_R_0613_0007__OVER,R_0613_0008__THE_R_0613_0009__RUINS)
& r_0613_0008__the_r_0613_0009__ruins(R_0613_0008__THE_R_0613_0009__RUINS)
& has_r_0613_0010__of(R_0613_0008__THE_R_0613_0009__RUINS,R_0613_0011__THE_R_0613_0012__CITY)
& has_arg0(R_0613_0006__FLYING_R_0613_0007__OVER,R_0613_0001__THE_R_0613_0002__SHIP)
& has_conj2(Z_0613_5002,R_0613_0003__ROARED_R_0613_0004__UP)
& r_0613_0003__roared_r_0613_0004__up(R_0613_0003__ROARED_R_0613_0004__UP)
& has_arg0(R_0613_0003__ROARED_R_0613_0004__UP,R_0613_0001__THE_R_0613_0002__SHIP) ) ).