arc(r_0420_0002__Well, z_0000_0000, z_0000_0000).
fof(formula,axiom, ? [R_420_2_WELL,Z_] : ( well(R_420_2_WELL) & z_(R_420_2_WELL,Z_) ) ).
( (FRAG (PULQ <ldquo>) (INTJ Well) (PUNC ?) (PURQ <rdquo>)) (ID 420_a_dick_1952))