Use offer syntax for choice inside CP quotations.