Wasn't sure if "cloud mario" should be considered a character tag or a general tag, since it's just modifying "Mario," who is already character-tagged.