result/VC/ElementValid6.rdr

   1 ./test/VC/ElementValid6:7: element doc: validity error : Element doc content does not follow the DTD, expecting (a , b? , c+)?, got (a b)
   2 <doc><a/><b>lacks c</b></doc>
   3                              ^
   4 ./test/VC/ElementValid6:8: element doc: validity error : Element doc content does not follow the DTD, Expecting more child
   5
   6 ^