semantic: Add and enforce @label attribute.