Ny semant.sml