./test/VC/ElementValid5:7: element doc: validity error : Element doc content does not follow the DTD, expecting (a , b* , c+), got (a b c b)
<doc><a/><b> but this</b><c>was not declared</c><b>seems</b></doc>
                                                                  ^
./test/VC/ElementValid5:8: element doc: validity error : Element doc content does not follow the DTD, Misplaced b

^
./test/VC/ElementValid5:8: element doc: validity error : Element doc content does not follow the DTD, Expecting more children

^
