Context                Previous, Next                Top


57_a_dick_1952
Buildings of some kind?

n57_a_dick_1952 n57_a_dick_1952__1_1_1_1 Buildings n57_a_dick_1952__1_1_2_1_1 of n57_a_dick_1952__1_1_2_2_1_1 some n57_a_dick_1952__1_1_2_2_2_1 kind n57_a_dick_1952__1_2_1 ? n57_a_dick_1952__1 FRAG n57_a_dick_1952__1_1 NP-PRD n57_a_dick_1952__1->n57_a_dick_1952__1_1 n57_a_dick_1952__1_2 PUNC n57_a_dick_1952__1->n57_a_dick_1952__1_2 n57_a_dick_1952__1_1_1 NS n57_a_dick_1952__1_1->n57_a_dick_1952__1_1_1 n57_a_dick_1952__1_1_2 PP n57_a_dick_1952__1_1->n57_a_dick_1952__1_1_2 n57_a_dick_1952__1_1_1->n57_a_dick_1952__1_1_1_1 n57_a_dick_1952__1_1_2_1 P-ROLE n57_a_dick_1952__1_1_2->n57_a_dick_1952__1_1_2_1 n57_a_dick_1952__1_1_2_2 NP n57_a_dick_1952__1_1_2->n57_a_dick_1952__1_1_2_2 n57_a_dick_1952__1_1_2_1->n57_a_dick_1952__1_1_2_1_1 n57_a_dick_1952__1_1_2_2_1 D n57_a_dick_1952__1_1_2_2->n57_a_dick_1952__1_1_2_2_1 n57_a_dick_1952__1_1_2_2_2 N n57_a_dick_1952__1_1_2_2->n57_a_dick_1952__1_1_2_2_2 n57_a_dick_1952__1_1_2_2_1->n57_a_dick_1952__1_1_2_2_1_1 n57_a_dick_1952__1_1_2_2_2->n57_a_dick_1952__1_1_2_2_2_1 n57_a_dick_1952__1_2->n57_a_dick_1952__1_2_1 
( (FRAG (NP-PRD (NS Buildings;{building})
                (PP (P-ROLE of;{of})
                    (NP (D some;{some})
                        (N kind;{kind}))))
        (PUNC ?))
  (ID 57_a_dick_1952))


%3 z_0057_5003 r_0057_0001__Buildings Buildings z_0057_5003->r_0057_0001__Buildings [prd] r_0057_0003__some_r_0057_0004__kind some kind r_0057_0001__Buildings->r_0057_0003__some_r_0057_0004__kind of 
arc(r_0057_0001__Buildings,r_0057_0003__some_r_0057_0004__kind,r_0057_0002__of).
arc(z_0057_5003,r_0057_0001__Buildings,prd).


%3 r_0057_0001__Buildings Buildings r_0057_0003__some_r_0057_0004__kind some kind r_0057_0001__Buildings->r_0057_0003__some_r_0057_0004__kind of z_0057_5003 z_0057_5003->r_0057_0001__Buildings [prd] 
fof(formula,axiom,
    ? [R_0057_0003__SOME_R_0057_0004__KIND,R_0057_0001__BUILDINGS,Z_0057_5003] :
      ( r_0057_0003__some_r_0057_0004__kind(R_0057_0003__SOME_R_0057_0004__KIND)
      & z_0057_5003(Z_0057_5003)
      & has_prd(Z_0057_5003,R_0057_0001__BUILDINGS)
      & r_0057_0001__Buildings(R_0057_0001__BUILDINGS)
      & has_r_0057_0002__of(R_0057_0001__BUILDINGS,R_0057_0003__SOME_R_0057_0004__KIND) ) ).