Implicating miraitowa → 2020_tokyo_olympic
Link to implication

Reason:

This feline-like robot is the official primary mascot of the 2020 Tokyo Olympics. Potentially change out 2020 tokyo olympic -> 2020 tokyo olympics.

Relatedly imply:

• someity -> 2020 tokyo olympic
• This cherry-blossom robot is the official mascot of the paralympics.
• 2020 tokyo olympic -> olympics
• 2020 olympics are still olympics.

There were also Concept B and Concept C who I can't find any names for. Maybe something simple like 2020 olympic B and 2020 paralympic c?

EDIT: The tag implication miraitowa -> 2020_tokyo_olympic (forum #276893) has been rejected by @bitWolfy.