( (FRAG (PULQ <ldquo>) (REACT Really) (PUNC ?) (PURQ <rdquo>)) (ID 203_a_dick_1952))
fof(formula,axiom, true ).