613_a_dick_1952
The ship roared up, flying over the ruins of the city.

%3 r_0613_0003__roared roared r_0613_0001__The_r_0613_0002__ship The ship r_0613_0003__roared->r_0613_0001__The_r_0613_0002__ship [arg0] r_0613_0004__up up r_0613_0003__roared->r_0613_0004__up [clr] r_0613_0006__flying flying r_0613_0006__flying->r_0613_0001__The_r_0613_0002__ship [arg0] r_0613_0008__the_r_0613_0009__ruins the ruins r_0613_0006__flying->r_0613_0008__the_r_0613_0009__ruins over [clr] r_0613_0011__the_r_0613_0012__city the city r_0613_0008__the_r_0613_0009__ruins->r_0613_0011__the_r_0613_0012__city of z_000_613_a_dick_1952_14 z_000_613_a_dick_1952_14->r_0613_0003__roared [scope] z_000_613_a_dick_1952_14->r_0613_0006__flying [restriction]
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).



%3 r_0613_0003__roared roared r_0613_0001__The_r_0613_0002__ship The ship r_0613_0003__roared->r_0613_0001__The_r_0613_0002__ship [arg0] r_0613_0004__up up r_0613_0003__roared->r_0613_0004__up [clr] r_0613_0006__flying flying r_0613_0006__flying->r_0613_0001__The_r_0613_0002__ship [arg0] r_0613_0008__the_r_0613_0009__ruins the ruins r_0613_0006__flying->r_0613_0008__the_r_0613_0009__ruins over [clr] r_0613_0011__the_r_0613_0012__city the city r_0613_0008__the_r_0613_0009__ruins->r_0613_0011__the_r_0613_0012__city of z_000_613_a_dick_1952_14 z_000_613_a_dick_1952_14->r_0613_0003__roared [conj2] z_000_613_a_dick_1952_14->r_0613_0006__flying [conj1]
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) ) ).



n613_a_dick_1952 n613_a_dick_1952_4 The n613_a_dick_1952_6 ship n613_a_dick_1952_8 roared n613_a_dick_1952_11 up n613_a_dick_1952_13 , n613_a_dick_1952_17 flying n613_a_dick_1952_20 over n613_a_dick_1952_23 the n613_a_dick_1952_25 ruins n613_a_dick_1952_28 of n613_a_dick_1952_31 the n613_a_dick_1952_33 city n613_a_dick_1952_35 . n613_a_dick_1952_1 IP-MAT n613_a_dick_1952_2 NP-SBJ n613_a_dick_1952_1->n613_a_dick_1952_2 n613_a_dick_1952_7 VBD;_Ip_ n613_a_dick_1952_1->n613_a_dick_1952_7 n613_a_dick_1952_9 ADVP-CLR n613_a_dick_1952_1->n613_a_dick_1952_9 n613_a_dick_1952_12 PUNC n613_a_dick_1952_1->n613_a_dick_1952_12 n613_a_dick_1952_14 PP-SCON n613_a_dick_1952_1->n613_a_dick_1952_14 n613_a_dick_1952_34 PUNC n613_a_dick_1952_1->n613_a_dick_1952_34 n613_a_dick_1952_3 D n613_a_dick_1952_2->n613_a_dick_1952_3 n613_a_dick_1952_5 N n613_a_dick_1952_2->n613_a_dick_1952_5 n613_a_dick_1952_3->n613_a_dick_1952_4 n613_a_dick_1952_5->n613_a_dick_1952_6 n613_a_dick_1952_7->n613_a_dick_1952_8 n613_a_dick_1952_10 RP n613_a_dick_1952_9->n613_a_dick_1952_10 n613_a_dick_1952_10->n613_a_dick_1952_11 n613_a_dick_1952_12->n613_a_dick_1952_13 n613_a_dick_1952_15 IP-PPL2 n613_a_dick_1952_14->n613_a_dick_1952_15 n613_a_dick_1952_16 VAG;_Ipr_ n613_a_dick_1952_15->n613_a_dick_1952_16 n613_a_dick_1952_18 PP-CLR n613_a_dick_1952_15->n613_a_dick_1952_18 n613_a_dick_1952_16->n613_a_dick_1952_17 n613_a_dick_1952_19 P-ROLE n613_a_dick_1952_18->n613_a_dick_1952_19 n613_a_dick_1952_21 NP n613_a_dick_1952_18->n613_a_dick_1952_21 n613_a_dick_1952_19->n613_a_dick_1952_20 n613_a_dick_1952_22 D n613_a_dick_1952_21->n613_a_dick_1952_22 n613_a_dick_1952_24 NS n613_a_dick_1952_21->n613_a_dick_1952_24 n613_a_dick_1952_26 PP n613_a_dick_1952_21->n613_a_dick_1952_26 n613_a_dick_1952_22->n613_a_dick_1952_23 n613_a_dick_1952_24->n613_a_dick_1952_25 n613_a_dick_1952_27 P-ROLE n613_a_dick_1952_26->n613_a_dick_1952_27 n613_a_dick_1952_29 NP n613_a_dick_1952_26->n613_a_dick_1952_29 n613_a_dick_1952_27->n613_a_dick_1952_28 n613_a_dick_1952_30 D n613_a_dick_1952_29->n613_a_dick_1952_30 n613_a_dick_1952_32 N n613_a_dick_1952_29->n613_a_dick_1952_32 n613_a_dick_1952_30->n613_a_dick_1952_31 n613_a_dick_1952_32->n613_a_dick_1952_33 n613_a_dick_1952_34->n613_a_dick_1952_35
( (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))