Boxing, modern pentathlon, and weightlifting will be removed from The 2028 Summer Olympics.
¬InSummerOlympicsIn(boxing, yr2028) ∧ (¬InSummerOlympicsIn(modern_pentathlon, yr2028)) ∧ (¬InSummerOlympicsIn(weightlifting, yr2028))