Semantic checks for Attributes, B, Categories.