The way you would do karaoke would be to first time (inside substation alpha if you wish) the length of each line of karaoke. You would then time how long each syllable would last and insert that in to the line. Lastly, if you need effects for the karaoke, read the specifications from the vobsub package.
Now, if only avisynth can use some of those snazzy AE filters