Manchester City has a higher ranking than Manchester United.
European soccer clubs can attend UCL, UEL and UECL. A soccer club eligible to attend UCL has a higher ranking than a soccer club eligible to attend UEL. A soccer club eligible to attend UEL has a higher ranking than a soccer club eligible to attend UECL. Manchester United and Machester City are both European soccer clubs. Manchester United is eligible to attend UEL next season. Manchester City is eligible to attend UCL next season.
∀x (European(x) ∧ SoccerClub(x) → Attend(x, ucl) ∨ Attend(x, uel) ∨ Attend(x, uecl)) ∀x ∀y (SoccerClub(x) ∧ SoccerClub(y) ∧ Attend(x, ucl) ∧ Attend(y, uel) → HigherRank(x, y)) ∀x ∀y (SoccerClub(x) ∧ SoccerClub(y) ∧ Attend(x, uel) ∧ Attend(y, uecl) → HigherRank(x, y)) European(manchesterunited) ∧ SoccerClub(manchesterunited) ∧ European(manchestercity) ∧ SoccerClub(manchestercity) Attend(manchesterunited, uel) Attend(manchestercity, ucl)