Generate RelaxNG-constrained XML documents for QuickCheck