Context                Previous, Next                Top


64_a_dick_1952
“Piers of some sort of stone.

%3 r_0064_0002__Piers Piers r_0064_0004__some_r_0064_0005__sort some sort r_0064_0002__Piers->r_0064_0004__some_r_0064_0005__sort of r_0064_0007__stone stone r_0064_0004__some_r_0064_0005__sort->r_0064_0007__stone of z_000_64_a_dick_1952_1 z_000_64_a_dick_1952_1->r_0064_0002__Piers [nim] 
arc(r_0064_0002__Piers, r_0064_0004__some_r_0064_0005__sort, r_0064_0003__of).
arc(r_0064_0004__some_r_0064_0005__sort, r_0064_0007__stone, r_0064_0006__of).
arc(z_000_64_a_dick_1952_1, r_0064_0002__Piers, nim4).


%3 r_0064_0002__Piers Piers r_0064_0004__some_r_0064_0005__sort some sort r_0064_0002__Piers->r_0064_0004__some_r_0064_0005__sort of r_0064_0007__stone stone r_0064_0004__some_r_0064_0005__sort->r_0064_0007__stone of z_000_64_a_dick_1952_1 z_000_64_a_dick_1952_1->r_0064_0002__Piers [nim] 
fof(formula,axiom,
    ? [Z_64_A_DICK_1952_1,R_64_2_PIERS,R_64_4_SOME_SORT,R_64_7_STONE] :
      ( stone(R_64_7_STONE)
      & z_64_a_dick_1952_1(Z_64_A_DICK_1952_1)
      & nim4(Z_64_A_DICK_1952_1,R_64_2_PIERS)
      & piers(R_64_2_PIERS)
      & of(R_64_2_PIERS,R_64_4_SOME_SORT)
      & some_sort(R_64_4_SOME_SORT)
      & of(R_64_4_SOME_SORT,R_64_7_STONE) ) ).


n64_a_dick_1952 n64_a_dick_1952_3 <ldquo> n64_a_dick_1952_6 Piers n64_a_dick_1952_9 of n64_a_dick_1952_12 some n64_a_dick_1952_14 sort n64_a_dick_1952_17 of n64_a_dick_1952_20 stone n64_a_dick_1952_22 . n64_a_dick_1952_1 FRAG n64_a_dick_1952_2 PULQ n64_a_dick_1952_1->n64_a_dick_1952_2 n64_a_dick_1952_4 NP n64_a_dick_1952_1->n64_a_dick_1952_4 n64_a_dick_1952_21 PUNC n64_a_dick_1952_1->n64_a_dick_1952_21 n64_a_dick_1952_2->n64_a_dick_1952_3 n64_a_dick_1952_5 NS n64_a_dick_1952_4->n64_a_dick_1952_5 n64_a_dick_1952_7 PP n64_a_dick_1952_4->n64_a_dick_1952_7 n64_a_dick_1952_5->n64_a_dick_1952_6 n64_a_dick_1952_8 P-ROLE n64_a_dick_1952_7->n64_a_dick_1952_8 n64_a_dick_1952_10 NP n64_a_dick_1952_7->n64_a_dick_1952_10 n64_a_dick_1952_8->n64_a_dick_1952_9 n64_a_dick_1952_11 D n64_a_dick_1952_10->n64_a_dick_1952_11 n64_a_dick_1952_13 N n64_a_dick_1952_10->n64_a_dick_1952_13 n64_a_dick_1952_15 PP n64_a_dick_1952_10->n64_a_dick_1952_15 n64_a_dick_1952_11->n64_a_dick_1952_12 n64_a_dick_1952_13->n64_a_dick_1952_14 n64_a_dick_1952_16 P-ROLE n64_a_dick_1952_15->n64_a_dick_1952_16 n64_a_dick_1952_18 NP n64_a_dick_1952_15->n64_a_dick_1952_18 n64_a_dick_1952_16->n64_a_dick_1952_17 n64_a_dick_1952_19 N n64_a_dick_1952_18->n64_a_dick_1952_19 n64_a_dick_1952_19->n64_a_dick_1952_20 n64_a_dick_1952_21->n64_a_dick_1952_22 
( (FRAG (PULQ <ldquo>)
        (NP (NS Piers;{pier})
            (PP (P-ROLE of;{of})
                (NP (D some;{some})
                    (N sort;{sort})
                    (PP (P-ROLE of;{of})
                        (NP (N stone;{stone}))))))
        (PUNC .))
  (ID 64_a_dick_1952))