Context                Previous, Next                Top


66_a_dick_1952
The remains of a 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))


%3 z_0066_5005 r_0066_0001__The_r_0066_0002__remains The remains z_0066_5005->r_0066_0001__The_r_0066_0002__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 
arc(r_0066_0001__The_r_0066_0002__remains,r_0066_0004__a_r_0066_0005__city,r_0066_0003__of).
arc(z_0066_5005,r_0066_0001__The_r_0066_0002__remains,z_0066_5002).


%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_0066_5005 z_0066_5005->r_0066_0001__The_r_0066_0002__remains 
fof(formula,axiom,
    ? [R_0066_0004__A_R_0066_0005__CITY,R_0066_0001__THE_R_0066_0002__REMAINS,Z_0066_5005] :
      ( r_0066_0004__a_r_0066_0005__city(R_0066_0004__A_R_0066_0005__CITY)
      & z_0066_5005(Z_0066_5005)
      & has_z_0066_5002(Z_0066_5005,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) ) ).