SQL contrainsts for Branch:

$$

$$All branches must have assets.

$$

$$Asset amount cannot be negative

$$

$$There are four and only four cities with branches: Brooklyn, Bronx, Manhattan,

and Yonkers.