MIDI files generally don't convert well to other formats because they often lack much of the information expected in a score. It's much better to type the ABC and convert it to MIDI. This is probably faster too since a midi2abc conversion will require a lot of tweaking to get the ABC right. ABC, on the other hand may be typed in very quickly from a simple score such as we see in this effort. Lyrics in ABC may be easily synchronized with the melody as requested and the software needed to produce excellent scores and (possibly rhythmically enhanced) MIDI files is simple to use and free. You can get many more people involved in the effort using ABC notation and make the result useful to more people.

      - Mark