Context                Previous, Next                Top


66_a_dick_1952
The remains of a city.”

%3 r_0066_0001__The_r_0066_0002__remains The remains r_0066_0004__a_r_0066_0005__city a city r_0066_0001__The_r_0066_0002__remains->r_0066_0004__a_r_0066_0005__city of z_000_66_a_dick_1952_1 z_000_66_a_dick_1952_1->r_0066_0001__The_r_0066_0002__remains [nim] 
arc(r_0066_0001__The_r_0066_0002__remains, r_0066_0004__a_r_0066_0005__city, r_0066_0003__of).
arc(z_000_66_a_dick_1952_1, r_0066_0001__The_r_0066_0002__remains, nim2).


%3 r_0066_0001__The_r_0066_0002__remains The remains r_0066_0004__a_r_0066_0005__city a city r_0066_0001__The_r_0066_0002__remains->r_0066_0004__a_r_0066_0005__city of z_000_66_a_dick_1952_1 z_000_66_a_dick_1952_1->r_0066_0001__The_r_0066_0002__remains [nim] 
fof(formula,axiom,
    ? [Z_66_A_DICK_1952_1,R_66_1_THE_REMAINS,R_66_4_A_CITY] :
      ( a_city(R_66_4_A_CITY)
      & z_66_a_dick_1952_1(Z_66_A_DICK_1952_1)
      & nim2(Z_66_A_DICK_1952_1,R_66_1_THE_REMAINS)
      & the_remains(R_66_1_THE_REMAINS)
      & of(R_66_1_THE_REMAINS,R_66_4_A_CITY) ) ).


n66_a_dick_1952 n66_a_dick_1952_4 The n66_a_dick_1952_6 remains n66_a_dick_1952_9 of n66_a_dick_1952_12 a n66_a_dick_1952_14 city n66_a_dick_1952_16 . n66_a_dick_1952_18 <rdquo> n66_a_dick_1952_1 FRAG n66_a_dick_1952_2 NP n66_a_dick_1952_1->n66_a_dick_1952_2 n66_a_dick_1952_15 PUNC n66_a_dick_1952_1->n66_a_dick_1952_15 n66_a_dick_1952_17 PURQ n66_a_dick_1952_1->n66_a_dick_1952_17 n66_a_dick_1952_3 D n66_a_dick_1952_2->n66_a_dick_1952_3 n66_a_dick_1952_5 NS n66_a_dick_1952_2->n66_a_dick_1952_5 n66_a_dick_1952_7 PP n66_a_dick_1952_2->n66_a_dick_1952_7 n66_a_dick_1952_3->n66_a_dick_1952_4 n66_a_dick_1952_5->n66_a_dick_1952_6 n66_a_dick_1952_8 P-ROLE n66_a_dick_1952_7->n66_a_dick_1952_8 n66_a_dick_1952_10 NP n66_a_dick_1952_7->n66_a_dick_1952_10 n66_a_dick_1952_8->n66_a_dick_1952_9 n66_a_dick_1952_11 D n66_a_dick_1952_10->n66_a_dick_1952_11 n66_a_dick_1952_13 N n66_a_dick_1952_10->n66_a_dick_1952_13 n66_a_dick_1952_11->n66_a_dick_1952_12 n66_a_dick_1952_13->n66_a_dick_1952_14 n66_a_dick_1952_15->n66_a_dick_1952_16 n66_a_dick_1952_17->n66_a_dick_1952_18 
( (FRAG (NP (D The;{the})
            (NS remains;{remains})
            (PP (P-ROLE of;{of})
                (NP (D a;{a})
                    (N city;{city}))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 66_a_dick_1952))