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