1 <?xml version="1.0"?> 2 <a> <b att="Ok" att2="Ok" att="Bad"/> violates [ WFC: Unique Att Spec ] </a> 3
