yes - noteworthy can export midi's and with embedded lyrics! with a third party add-on it can also produce ABC files - though they sometimes have to be corrected manually.
Jon - I'm still working on Bronson - but have to proofread all my files - and as I *should* have gottom bifocals on my last visit to the eye doctor but didn't - that is a bit difficult at the moment.
Pavane - ditto what Jon said - both about producing ABC and reading music!