Update semPelican.sml