Partially implements select one as special case of select list

Still have to do non-guessing variants.