(a.) Containing or producing coral.