AGM to RELAX NG converter