Context                Previous, Next                Top


468_a_dick_1952
“Records of some kind.”

n468_a_dick_1952 n468_a_dick_1952__1_1_1 <ldquo> n468_a_dick_1952__1_2_1_1 Records n468_a_dick_1952__1_2_2_1_1 of n468_a_dick_1952__1_2_2_2_1_1 some n468_a_dick_1952__1_2_2_2_2_1 kind n468_a_dick_1952__1_3_1 . n468_a_dick_1952__1_4_1 <rdquo> n468_a_dick_1952__1 FRAG n468_a_dick_1952__1_1 PULQ n468_a_dick_1952__1->n468_a_dick_1952__1_1 n468_a_dick_1952__1_2 NP n468_a_dick_1952__1->n468_a_dick_1952__1_2 n468_a_dick_1952__1_3 PUNC n468_a_dick_1952__1->n468_a_dick_1952__1_3 n468_a_dick_1952__1_4 PURQ n468_a_dick_1952__1->n468_a_dick_1952__1_4 n468_a_dick_1952__1_1->n468_a_dick_1952__1_1_1 n468_a_dick_1952__1_2_1 NS n468_a_dick_1952__1_2->n468_a_dick_1952__1_2_1 n468_a_dick_1952__1_2_2 PP n468_a_dick_1952__1_2->n468_a_dick_1952__1_2_2 n468_a_dick_1952__1_2_1->n468_a_dick_1952__1_2_1_1 n468_a_dick_1952__1_2_2_1 P-ROLE n468_a_dick_1952__1_2_2->n468_a_dick_1952__1_2_2_1 n468_a_dick_1952__1_2_2_2 NP n468_a_dick_1952__1_2_2->n468_a_dick_1952__1_2_2_2 n468_a_dick_1952__1_2_2_1->n468_a_dick_1952__1_2_2_1_1 n468_a_dick_1952__1_2_2_2_1 D n468_a_dick_1952__1_2_2_2->n468_a_dick_1952__1_2_2_2_1 n468_a_dick_1952__1_2_2_2_2 N n468_a_dick_1952__1_2_2_2->n468_a_dick_1952__1_2_2_2_2 n468_a_dick_1952__1_2_2_2_1->n468_a_dick_1952__1_2_2_2_1_1 n468_a_dick_1952__1_2_2_2_2->n468_a_dick_1952__1_2_2_2_2_1 n468_a_dick_1952__1_3->n468_a_dick_1952__1_3_1 n468_a_dick_1952__1_4->n468_a_dick_1952__1_4_1 
( (FRAG (PULQ <ldquo>)
        (NP (NS Records;{record})
            (PP (P-ROLE of;{of})
                (NP (D some;{some})
                    (N kind;{kind}))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 468_a_dick_1952))


%3 z_0468_5005 r_0468_0002__Records Records z_0468_5005->r_0468_0002__Records r_0468_0004__some_r_0468_0005__kind some kind r_0468_0002__Records->r_0468_0004__some_r_0468_0005__kind of 
arc(r_0468_0002__Records,r_0468_0004__some_r_0468_0005__kind,r_0468_0003__of).
arc(z_0468_5005,r_0468_0002__Records,z_0468_5002).


%3 r_0468_0002__Records Records r_0468_0004__some_r_0468_0005__kind some kind r_0468_0002__Records->r_0468_0004__some_r_0468_0005__kind of z_0468_5005 z_0468_5005->r_0468_0002__Records 
fof(formula,axiom,
    ? [R_0468_0004__SOME_R_0468_0005__KIND,R_0468_0002__RECORDS,Z_0468_5005] :
      ( r_0468_0004__some_r_0468_0005__kind(R_0468_0004__SOME_R_0468_0005__KIND)
      & z_0468_5005(Z_0468_5005)
      & has_z_0468_5002(Z_0468_5005,R_0468_0002__RECORDS)
      & r_0468_0002__Records(R_0468_0002__RECORDS)
      & has_r_0468_0003__of(R_0468_0002__RECORDS,R_0468_0004__SOME_R_0468_0005__KIND) ) ).