./test/VC/ElementValid7:7: element doc: 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>
                                   ^
./test/VC/ElementValid7:8: element doc: validity error : Element doc content does not follow the DTD, Expecting more children

^
