accessible parking space subgroup of parking space, 4 assertions