This is a positive validity test for ID. any element type has no more than one attribute of type ID specified