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,
? [Z_613_A_DICK_1952_14,R_613_6_FLYING,R_613_8_THE_RUINS,R_613_11_THE_CITY,R_613_3_ROARED,R_613_1_THE_SHIP,R_613_4_UP] :
( the_city(R_613_11_THE_CITY)
& the_ship(R_613_1_THE_SHIP)
& up(R_613_4_UP)
& z_613_a_dick_1952_14(Z_613_A_DICK_1952_14)
& conj1(Z_613_A_DICK_1952_14,R_613_6_FLYING)
& flying(R_613_6_FLYING,R_613_1_THE_SHIP)
& over_clr21(R_613_6_FLYING,R_613_8_THE_RUINS)
& the_ruins(R_613_8_THE_RUINS)
& of(R_613_8_THE_RUINS,R_613_11_THE_CITY)
& conj2(Z_613_A_DICK_1952_14,R_613_3_ROARED)
& roared(R_613_3_ROARED,R_613_1_THE_SHIP)
& clr9(R_613_3_ROARED,R_613_4_UP) ) ).
( (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))