Shimapan should alias to 'striped panties' not 'striped underwear'

As in the topic title, the ‘pan’ part of shimapan is short for panties and not all underwear in general. ‘Striped panties’ then should alias to ‘striped underwear’.

while the first half is true, aliasing striped panties to striped underwear would ultimately result in shimapan aliasing back to striped underwear

Maybe not a bad idea to chain them together like that, so long as ‘shimapan’ and ‘striped panties’ are aliased, as striped panties are a kind of striped underwear after all.

Did you mean that it should imply striped underwear (which means that striped underwear would get added in addition to striped panties), instead of aliased (which means striped panties will be erased and striped underwear will be substituted)?

Yes, imply and not alias, my mistake. ‘Shimapan’ should imply ‘striped panties’ which should imply ‘striped underwear’. That’s the correct chain.

Done.