implement abr_r(quantifier)