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