(7) "Public building" means any building which is open to the
public during normal business hours and is not an exempted
building, including the following:
"Public building" means any structure which is generally open
to members of the public with or without the payment of an
admission fee or membership dues including, but not limited to
structures owned, operated, or leased by the state, the United
States, any of the [...]