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 z_000_66_a_dick_1952_1 r_0066_0001__The_r_0066_0002__remains The remains z_000_66_a_dick_1952_1->r_0066_0001__The_r_0066_0002__remains [nim] 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 
fof(formula,axiom,
    ? [R_0066_0004__A_R_0066_0005__CITY,R_0066_0001__THE_R_0066_0002__REMAINS,Z_000_66_A_DICK_1952_1] :
      ( r_0066_0004__a_r_0066_0005__city(R_0066_0004__A_R_0066_0005__CITY)
      & z_000_66_a_dick_1952_1(Z_000_66_A_DICK_1952_1)
      & has_nim2(Z_000_66_A_DICK_1952_1,R_0066_0001__THE_R_0066_0002__REMAINS)
      & r_0066_0001__The_r_0066_0002__remains(R_0066_0001__THE_R_0066_0002__REMAINS)
      & has_r_0066_0003__of(R_0066_0001__THE_R_0066_0002__REMAINS,R_0066_0004__A_R_0066_0005__CITY) ) ).


n66_a_dick_1952 n66_a_dick_1952__1_1_1_1 The n66_a_dick_1952__1_1_2_1 remains n66_a_dick_1952__1_1_3_1_1 of n66_a_dick_1952__1_1_3_2_1_1 a n66_a_dick_1952__1_1_3_2_2_1 city n66_a_dick_1952__1_2_1 . n66_a_dick_1952__1_3_1 <rdquo> n66_a_dick_1952__1 FRAG n66_a_dick_1952__1_1 NP n66_a_dick_1952__1->n66_a_dick_1952__1_1 n66_a_dick_1952__1_2 PUNC n66_a_dick_1952__1->n66_a_dick_1952__1_2 n66_a_dick_1952__1_3 PURQ n66_a_dick_1952__1->n66_a_dick_1952__1_3 n66_a_dick_1952__1_1_1 D n66_a_dick_1952__1_1->n66_a_dick_1952__1_1_1 n66_a_dick_1952__1_1_2 NS n66_a_dick_1952__1_1->n66_a_dick_1952__1_1_2 n66_a_dick_1952__1_1_3 PP n66_a_dick_1952__1_1->n66_a_dick_1952__1_1_3 n66_a_dick_1952__1_1_1->n66_a_dick_1952__1_1_1_1 n66_a_dick_1952__1_1_2->n66_a_dick_1952__1_1_2_1 n66_a_dick_1952__1_1_3_1 P-ROLE n66_a_dick_1952__1_1_3->n66_a_dick_1952__1_1_3_1 n66_a_dick_1952__1_1_3_2 NP n66_a_dick_1952__1_1_3->n66_a_dick_1952__1_1_3_2 n66_a_dick_1952__1_1_3_1->n66_a_dick_1952__1_1_3_1_1 n66_a_dick_1952__1_1_3_2_1 D n66_a_dick_1952__1_1_3_2->n66_a_dick_1952__1_1_3_2_1 n66_a_dick_1952__1_1_3_2_2 N n66_a_dick_1952__1_1_3_2->n66_a_dick_1952__1_1_3_2_2 n66_a_dick_1952__1_1_3_2_1->n66_a_dick_1952__1_1_3_2_1_1 n66_a_dick_1952__1_1_3_2_2->n66_a_dick_1952__1_1_3_2_2_1 n66_a_dick_1952__1_2->n66_a_dick_1952__1_2_1 n66_a_dick_1952__1_3->n66_a_dick_1952__1_3_1 
( (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))