( (FRAG (PULQ <ldquo>) (REACT All_right) (PUNC .) (PURQ <rdquo>)) (ID 436_a_dick_1952))
fof(formula,axiom, true ).