613_a_dick_1952
The ship roared up, flying over the ruins of the city.
arc(r_0613_0003__roared, r_0613_0001__The_r_0613_0002__ship, arg0).
arc(r_0613_0003__roared, r_0613_0004__up, clr9).
arc(r_0613_0006__flying, r_0613_0001__The_r_0613_0002__ship, arg0).
arc(r_0613_0006__flying, r_0613_0008__the_r_0613_0009__ruins, r_0613_0007__over_clr21).
arc(r_0613_0008__the_r_0613_0009__ruins, r_0613_0011__the_r_0613_0012__city, r_0613_0010__of).
arc(z_000_613_a_dick_1952_14, r_0613_0003__roared, scope).
arc(z_000_613_a_dick_1952_14, r_0613_0006__flying, restriction).
fof(formula,axiom,
? [R_0613_0001__THE_R_0613_0002__SHIP,R_0613_0004__UP,R_0613_0003__ROARED,R_0613_0011__THE_R_0613_0012__CITY,R_0613_0008__THE_R_0613_0009__RUINS,R_0613_0006__FLYING,Z_000_613_A_DICK_1952_14] :
( r_0613_0001__The_r_0613_0002__ship(R_0613_0001__THE_R_0613_0002__SHIP)
& r_0613_0004__up(R_0613_0004__UP)
& r_0613_0011__the_r_0613_0012__city(R_0613_0011__THE_R_0613_0012__CITY)
& z_000_613_a_dick_1952_14(Z_000_613_A_DICK_1952_14)
& has_conj1(Z_000_613_A_DICK_1952_14,R_0613_0006__FLYING)
& r_0613_0006__flying(R_0613_0006__FLYING)
& has_r_0613_0007__over_clr21(R_0613_0006__FLYING,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_0001__THE_R_0613_0002__SHIP)
& has_conj2(Z_000_613_A_DICK_1952_14,R_0613_0003__ROARED)
& r_0613_0003__roared(R_0613_0003__ROARED)
& has_clr9(R_0613_0003__ROARED,R_0613_0004__UP)
& has_arg0(R_0613_0003__ROARED,R_0613_0001__THE_R_0613_0002__SHIP) ) ).
( (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))