BUR #42399 has been approved by @nonamethanks.
create alias tomarigi_yasumi -> jasmine_(toshi_densetsu_kaitai_center)
Jasmine is how she gets referred to throughout the whole game, meanwhile her full name only gets brought up like a couple times, so this is how she gets called most of the time by the game's fans as well. Her character profile on the official website uses Jasmine too.