Symbol: AddAttribute_specification