R6

R6 / 1:1

Bottom Bank Level is the lowest floor serviceable by exactly one Bank

Bank provides service down to exactly one Bottom Bank Level

---

A Bank is constrained such that it must have a lowest Floor where it provides service. By definition, a Bottom Bank Level must be that Floor for its Bank.

Formalization

Top Bank Level.Bank -> Bank.Name