Ice King/Simon Petrikov tag discussion

Simon Petrikov is Ice King's real identity when he's not taken over by his crown, but I'm not sure how to deal with tag implications for them. Simon is the actual default form, but Ice King is the form seen the most and the most iconic. I almost feel like they should remain separate like a magical girl and her civilian identity, but Winter King and Ice Prince confuse things. Ice Prince is a dream version of Ice King from Adventure Time: Fionna And Cake and Winter King is an alternate universe version of Ice King that acts and looks more like Simon. Ice Prince should probably imply Ice King, but Winter King should almost certainly imply Ice King and Simon.

BUR #48011 has been rejected.

create implication ice_king -> simon_petrikov
create implication winter_king_(adventure_time) -> ice_king
create implication ice_prince_(adventure_time) -> ice_king

Let's try this

BUR #48195 has been rejected.

create implication winter_king_(adventure_time) -> simon_petrikov
create implication winter_king_(adventure_time) -> ice_king

Alternatively, if we want to keep Simon Petrikov and Ice King separate

This bulk update request is pending automatic rejection in 5 days.

This bulk update request has been rejected because it was not approved within 45 days.

The bulk update request #48011 (forum #388492) has been rejected by @DanbooruBot.

This bulk update request has been rejected because it was not approved within 45 days.

The bulk update request #48195 (forum #389018) has been rejected by @DanbooruBot.