#OSM / #OpenStreetMap question:

There's a public car park here that's already mapped.
It's an area with amenity=parking and parking=surface. Its capacity is noted to be 24 spaces.

So far, so good.

However, about nine lots on this car park are reserved for carsharing. The others are public parking spaces.

Right now, the car park in its entirety is part of a big relation that encompasses all stations of this operator. The lot itself doesn't mention carsharing.

I'd like to change this by mapping the specific carsharing areas on the lot. It's further complicated by the fact that the carsharing station consists of two separate areas on the lot and isn't continuous.

How would I do this? As I see it, I have a couple of options:

• Split the public car park and the carsharing lots into separate areas altogether with amenity=parking and amenity=car_sharing respectively. Add the two split carsharing lots to a complex multipolygon relation. Add the new carsharing areas (or the multipolygon relation…?) to the existing regional operator relation.
• Map new amenity=carsharing areas on top of the whole parking lot area, and add them to a multipolygon relation. How do I handle lot capacity and the operator relation?
• Add the carsharing tag to the entire parking lot even if it's inaccurate.
• Just keep it as is.