<?xml version="1.0" encoding="UTF-8"?>
<grammar xmlns="http://relaxng.org/ns/structure/1.0">
  <include href="Mizar.rng"/>
  <start>
    <ref name="Schemes"/>
  </start>
</grammar>
