1 2
concrete ExtraRomanceSpa of ExtraRomanceAbs = CatSpa ** ExtraRomance with (ResRomance = ResSpa) ;