284_a_dick_1952
“Letters, all right.”
arc(r_0284_0004__all_right, r_0284_0002__Letters, nim4).
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) ) ).
( (FRAG (PULQ <ldquo>)
(NP (NS Letters;{letter}))
(PUNC ,)
(REACT all_right)
(PUNC .)
(PURQ <rdquo>))
(ID 284_a_dick_1952))