Sorry, there is a wrong link in what I wrote; it should have been: The tag leisure=horse_riding is for the whole facility, in this case it could probably be added to https://www.openstreetmap.org/way/1283289617


"