(a.) Having coral; covered with coral.