Context                Previous, Next                Top


211_a_dick_1952
“The white stones.”

%3 r_0211_0002__The_r_0211_0004__stones The stones r_0211_0003__white white r_0211_0002__The_r_0211_0004__stones->r_0211_0003__white [attrib] z_000_211_a_dick_1952_1 z_000_211_a_dick_1952_1->r_0211_0002__The_r_0211_0004__stones [nim] 
arc(r_0211_0002__The_r_0211_0004__stones, r_0211_0003__white, attrib7).
arc(z_000_211_a_dick_1952_1, r_0211_0002__The_r_0211_0004__stones, nim4).


%3 z_000_211_a_dick_1952_1 r_0211_0002__The_r_0211_0004__stones The stones z_000_211_a_dick_1952_1->r_0211_0002__The_r_0211_0004__stones [nim] r_0211_0003__white white r_0211_0002__The_r_0211_0004__stones->r_0211_0003__white [attrib] 
fof(formula,axiom,
    ? [R_0211_0003__WHITE,R_0211_0002__THE_R_0211_0004__STONES,Z_000_211_A_DICK_1952_1] :
      ( r_0211_0003__white(R_0211_0003__WHITE)
      & z_000_211_a_dick_1952_1(Z_000_211_A_DICK_1952_1)
      & has_nim4(Z_000_211_A_DICK_1952_1,R_0211_0002__THE_R_0211_0004__STONES)
      & r_0211_0002__The_r_0211_0004__stones(R_0211_0002__THE_R_0211_0004__STONES)
      & has_attrib7(R_0211_0002__THE_R_0211_0004__STONES,R_0211_0003__WHITE) ) ).


n211_a_dick_1952 n211_a_dick_1952__1_1_1 <ldquo> n211_a_dick_1952__1_2_1_1 The n211_a_dick_1952__1_2_2_1_1 white n211_a_dick_1952__1_2_3_1 stones n211_a_dick_1952__1_3_1 . n211_a_dick_1952__1_4_1 <rdquo> n211_a_dick_1952__1 FRAG n211_a_dick_1952__1_1 PULQ n211_a_dick_1952__1->n211_a_dick_1952__1_1 n211_a_dick_1952__1_2 NP n211_a_dick_1952__1->n211_a_dick_1952__1_2 n211_a_dick_1952__1_3 PUNC n211_a_dick_1952__1->n211_a_dick_1952__1_3 n211_a_dick_1952__1_4 PURQ n211_a_dick_1952__1->n211_a_dick_1952__1_4 n211_a_dick_1952__1_1->n211_a_dick_1952__1_1_1 n211_a_dick_1952__1_2_1 D n211_a_dick_1952__1_2->n211_a_dick_1952__1_2_1 n211_a_dick_1952__1_2_2 ADJP n211_a_dick_1952__1_2->n211_a_dick_1952__1_2_2 n211_a_dick_1952__1_2_3 NS n211_a_dick_1952__1_2->n211_a_dick_1952__1_2_3 n211_a_dick_1952__1_2_1->n211_a_dick_1952__1_2_1_1 n211_a_dick_1952__1_2_2_1 ADJ n211_a_dick_1952__1_2_2->n211_a_dick_1952__1_2_2_1 n211_a_dick_1952__1_2_2_1->n211_a_dick_1952__1_2_2_1_1 n211_a_dick_1952__1_2_3->n211_a_dick_1952__1_2_3_1 n211_a_dick_1952__1_3->n211_a_dick_1952__1_3_1 n211_a_dick_1952__1_4->n211_a_dick_1952__1_4_1 
( (FRAG (PULQ <ldquo>)
        (NP;{STONES} (D The;{the})
                     (ADJP (ADJ white;{white}))
                     (NS stones;{stone}))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 211_a_dick_1952))