284_a_dick_1952
“Letters, all right.”

%3 r_0284_0004__all_right all right r_0284_0002__Letters Letters r_0284_0004__all_right->r_0284_0002__Letters [nim]
arc(r_0284_0004__all_right, r_0284_0002__Letters, nim4).



%3 r_0284_0004__all_right all right r_0284_0002__Letters Letters r_0284_0004__all_right->r_0284_0002__Letters [nim]
fof(formula,axiom,
    ? [R_284_4_ALL_RIGHT,R_284_2_LETTERS] :
      ( letters(R_284_2_LETTERS)
      & all_right(R_284_4_ALL_RIGHT)
      & nim4(R_284_4_ALL_RIGHT,R_284_2_LETTERS) ) ).



n284_a_dick_1952 n284_a_dick_1952_3 <ldquo> n284_a_dick_1952_6 Letters n284_a_dick_1952_8 , n284_a_dick_1952_10 all_right n284_a_dick_1952_12 . n284_a_dick_1952_14 <rdquo> n284_a_dick_1952_1 FRAG n284_a_dick_1952_2 PULQ n284_a_dick_1952_1->n284_a_dick_1952_2 n284_a_dick_1952_4 NP n284_a_dick_1952_1->n284_a_dick_1952_4 n284_a_dick_1952_7 PUNC n284_a_dick_1952_1->n284_a_dick_1952_7 n284_a_dick_1952_9 REACT n284_a_dick_1952_1->n284_a_dick_1952_9 n284_a_dick_1952_11 PUNC n284_a_dick_1952_1->n284_a_dick_1952_11 n284_a_dick_1952_13 PURQ n284_a_dick_1952_1->n284_a_dick_1952_13 n284_a_dick_1952_2->n284_a_dick_1952_3 n284_a_dick_1952_5 NS n284_a_dick_1952_4->n284_a_dick_1952_5 n284_a_dick_1952_5->n284_a_dick_1952_6 n284_a_dick_1952_7->n284_a_dick_1952_8 n284_a_dick_1952_9->n284_a_dick_1952_10 n284_a_dick_1952_11->n284_a_dick_1952_12 n284_a_dick_1952_13->n284_a_dick_1952_14
( (FRAG (PULQ <ldquo>)
        (NP (NS Letters;{letter}))
        (PUNC ,)
        (REACT all_right)
        (PUNC .)
        (PURQ <rdquo>))
  (ID 284_a_dick_1952))