A soccer club eligible to attend UCL has a higher ranking than a soccer club eligible to attend UEL.
∀x ∀y (EuropeanSoccerClub(x) ∧ EuropeanSoccerClub(y) ∧ Attend(x, ucl) ∧ Attend(y, uel) → HigherRank(x, y))