./test/VC/ElementValid7:7: validity error: Element doc content does not follow the DTD
Expecting ((a | b)* , c+ , a , b? , c , a?), got (a b a c c a)
<doc><a/><b/><a/><c/><c/><a/></doc>
                                  ^