[Tagging] amenity=faculty?

[Dave F]

On 04/02/2020 16:03, Mateusz Konieczny via Tagging wrote:
> Universities may have faculties, that often deserved to be mapped separately.
>
> For example university may take a large area, possibly disjointed area across the city
> but Faculty of dentistry, Faculty of forestry, Faculty of mathematics etc may be
> possible to be mapped as an area/node.
>
> Currently typical way to do that is to either
> - map name on building
> - create fake amenity=university with amenity=university
>
> It seems to me that amenity=faculty would be useful.

But faculty is a subset of university. The primary tag is already used 
as amenity=university

Faculty=* is already in use.

https://wiki.openstreetmap.org/wiki/Tag:amenity%3Duniversity#Faculties_and_departments

Cheers
DaveF