]> violates [ WFC: PEs in Internal Subset ]