western coral snakes have a striped color pattern
african_coral_snake is not coral_snake. western_coral_snake is coral_snake. african_coral_snake is coral_snake. western_coral_snake is not coral_snake. asian_coral_snake is coral_snake. eastern_coral_snake is not coral_snake. coral_snake is venomous_snake. coral_snake is not venomous_snake. eastern_coral_snake is coral_snake. coral_snake is elapid.