Context                Previous, Next                Top


57_a_dick_1952
Buildings of some kind?

%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_000_57_a_dick_1952_1 z_000_57_a_dick_1952_1->r_0057_0001__Buildings [prd] 
arc(r_0057_0001__Buildings, r_0057_0003__some_r_0057_0004__kind, r_0057_0002__of).
arc(z_000_57_a_dick_1952_1, 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_000_57_a_dick_1952_1 z_000_57_a_dick_1952_1->r_0057_0001__Buildings [prd] 
fof(formula,axiom,
    ? [Z_57_A_DICK_1952_1,R_57_1_BUILDINGS,R_57_3_SOME_KIND] :
      ( some_kind(R_57_3_SOME_KIND)
      & z_57_a_dick_1952_1(Z_57_A_DICK_1952_1)
      & prd(Z_57_A_DICK_1952_1,R_57_1_BUILDINGS)
      & buildings(R_57_1_BUILDINGS)
      & of(R_57_1_BUILDINGS,R_57_3_SOME_KIND) ) ).


n57_a_dick_1952 n57_a_dick_1952_4 Buildings n57_a_dick_1952_7 of n57_a_dick_1952_10 some n57_a_dick_1952_12 kind n57_a_dick_1952_14 ? n57_a_dick_1952_1 FRAG n57_a_dick_1952_2 NP-PRD n57_a_dick_1952_1->n57_a_dick_1952_2 n57_a_dick_1952_13 PUNC n57_a_dick_1952_1->n57_a_dick_1952_13 n57_a_dick_1952_3 NS n57_a_dick_1952_2->n57_a_dick_1952_3 n57_a_dick_1952_5 PP n57_a_dick_1952_2->n57_a_dick_1952_5 n57_a_dick_1952_3->n57_a_dick_1952_4 n57_a_dick_1952_6 P-ROLE n57_a_dick_1952_5->n57_a_dick_1952_6 n57_a_dick_1952_8 NP n57_a_dick_1952_5->n57_a_dick_1952_8 n57_a_dick_1952_6->n57_a_dick_1952_7 n57_a_dick_1952_9 D n57_a_dick_1952_8->n57_a_dick_1952_9 n57_a_dick_1952_11 N n57_a_dick_1952_8->n57_a_dick_1952_11 n57_a_dick_1952_9->n57_a_dick_1952_10 n57_a_dick_1952_11->n57_a_dick_1952_12 n57_a_dick_1952_13->n57_a_dick_1952_14 
( (FRAG (NP-PRD (NS Buildings;{building})
                (PP (P-ROLE of;{of})
                    (NP (D some;{some})
                        (N kind;{kind}))))
        (PUNC ?))
  (ID 57_a_dick_1952))