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_0284_0002__LETTERS,R_0284_0004__ALL_RIGHT] :
      ( r_0284_0002__Letters(R_0284_0002__LETTERS)
      & r_0284_0004__all_right(R_0284_0004__ALL_RIGHT)
      & has_nim4(R_0284_0004__ALL_RIGHT,R_0284_0002__LETTERS) ) ).



n284_a_dick_1952 n284_a_dick_1952__1_1_1 <ldquo> n284_a_dick_1952__1_2_1_1 Letters n284_a_dick_1952__1_3_1 , n284_a_dick_1952__1_4_1 all_right n284_a_dick_1952__1_5_1 . n284_a_dick_1952__1_6_1 <rdquo> n284_a_dick_1952__1 FRAG n284_a_dick_1952__1_1 PULQ n284_a_dick_1952__1->n284_a_dick_1952__1_1 n284_a_dick_1952__1_2 NP n284_a_dick_1952__1->n284_a_dick_1952__1_2 n284_a_dick_1952__1_3 PUNC n284_a_dick_1952__1->n284_a_dick_1952__1_3 n284_a_dick_1952__1_4 REACT n284_a_dick_1952__1->n284_a_dick_1952__1_4 n284_a_dick_1952__1_5 PUNC n284_a_dick_1952__1->n284_a_dick_1952__1_5 n284_a_dick_1952__1_6 PURQ n284_a_dick_1952__1->n284_a_dick_1952__1_6 n284_a_dick_1952__1_1->n284_a_dick_1952__1_1_1 n284_a_dick_1952__1_2_1 NS n284_a_dick_1952__1_2->n284_a_dick_1952__1_2_1 n284_a_dick_1952__1_2_1->n284_a_dick_1952__1_2_1_1 n284_a_dick_1952__1_3->n284_a_dick_1952__1_3_1 n284_a_dick_1952__1_4->n284_a_dick_1952__1_4_1 n284_a_dick_1952__1_5->n284_a_dick_1952__1_5_1 n284_a_dick_1952__1_6->n284_a_dick_1952__1_6_1
( (FRAG (PULQ <ldquo>)
        (NP (NS Letters;{letter}))
        (PUNC ,)
        (REACT all_right)
        (PUNC .)
        (PURQ <rdquo>))
  (ID 284_a_dick_1952))