( (FRAG (PULQ <ldquo>) (INTJ Oh) (PUNC .) (PURQ <rdquo>)) (ID 224_a_dick_1952))
fof(formula,axiom, true ).