R29 - modelint/types GitHub Wiki
R29 / M:Mc-1
Floor is serviced by zero, one or many Bank
When a Bank is configured, two or more Floors are selected for inclusion in the Bank. This means that these Floors can be visited by any of the Bank’s Cabins. Each inclusion of a Floor results in the creation of a Bank Level.
If a Bank is intended to service Floors 1 and 21-40, for example, 20 Bank Levels would be created and linked. By definition then, a Bank Level is part of a single Bank. Since a Cabin must be able to visit at least two Floors to be useful, a Bank must service two or more Floors.
One way to block all access to a given Floor, would be to exclude it from any Bank in the Building. In this case the Floor is not serviced by any Bank. At some later time the Floor might be linked into one or more Banks for service.
Formalization
Bank Level.Bank -> Bank.Name
Bank Level.Floor -> Floor.Name