A relation to express the state of a parking spot