Symbol: _HAS_CHOICE