BUR #29408 has been rejected.
create implication 2020_summer_olympics -> olympics
create implication 2016_summer_olympics -> olympics
create implication 2012_summer_olympics -> olympics
create implication 2024_summer_olympics -> olympics
create implication 1964_summer_olympics -> olympics
create implication 2018_winter_olympics -> olympics
create implication 2022_winter_olympics -> olympics
create implication 2014_winter_olympics -> olympics
create implication 2010_winter_olympics -> olympics
create implication 1998_winter_olympics -> olympics
create implication 2006_winter_olympics -> olympics
Self-explanatory (* summer/winter olympics are just a subset of olympic games)