Made good progress with a converter between the ISE SGML and TEI today, after discovering a command-line thing called osx which converts SGML to XML. I'm doing a bunch of pre-processing to change the hierarchies and I think I'm about half-way to having something which actually works (with my single test file). Quite heartening progress really.