Hornbeam, Holm oak or black walnut?

[RustyBear]

We had a beautiful copper beech tree in our garden which was killed by honey fungus and had to be felled. It had a TPO on it, so we have to replace it.
The conditions of the planning permission state that it must be replaced by a tree that is resistant to honey fungus, and have given us a choice of hornbeam, Holm oak or black walnut. I have no idea which is the best one to choose- can anyone help?
it will be planted in the area shown by the circle in the photo. There is a busy road behind the fence, so the air quality is not great. The soil is clay deep down but there’s a good layer of topsoil.
I would be grateful for opinions!

Forgot the photo!

The upright hornbeam is one of my favourite trees especially in the Autumn.
www.paramountplants.co.uk/plant/cbf/carpinus-betulus-fastigiata.html

I can't comment on the other 2 - I'd have to look them up myself.

I have planted 10 trees in my garden over the last 15 years - I'm very likely to keep adding more - there are so many wonderful trees. I just planted a Euonymous Europaeus this year.

This one:
www.ornamental-trees.co.uk/euonymus-europaeus-p20

I've bought most of my trees from them Ornamental Trees.

A hornbeam can, in time, get big but they are lovely.

Black walnut releases a toxin into the soil known as juglone, present in enough quantity and it can be difficult or impossible to grow many other plants around it. Hornbeam, as I understand it, is happy in wetter/poorer draining conditions so if you're on clay that could be a good option, it also retains its old leaves until the new season like beech, which might be a plus for you. I don't know much about holm oak.

Hornbeam is very similar to beech in many ways

black walnut makes a big tree eventually, but doesn’t grow that fast. Squirrels would be pleased. I didn’t find any problem with growing other stuff around it. The area got crowded, and I decided the walnut was pulling its weight least, so I got rid of it.

holm oak is evergreen. Quercus ilex - “holly oak”

Thank you for all your replies! I do like autumn colour, and it would be nice to have it lasting, so it sounds as if the hornbeam would probably be the best choice. Thank you for the link, larkstar.

Holm oaks are evergreen, and very slow growing. Not the world's most interesting tree imo (but I lived in a forest of them, so got a bit saturated of the sameyness all year), but probably better at staying a reasonable size if that's a consideration.

Doesn't massively like clay, I believe, grows naturally where there is a lot of chalk and little soil, so don't know exactly how it will behave in your garden. Might suddenly decide to grow fast after all!

Ornamental trees have one

www.ornamental-trees.co.uk/carpinus-betulus-fastigiata-tree-p54

They just didn't have a photo of the autumn colour. They can grow to be quite big but they are slow growing. I have some trees in my garden that will grow to be too big (as in tall not wide) - maybe in another 15-20 years.

I'm thinking if one myself - I've taken out very large old shrubs recently to make space for new trees - a rhododendron and a thing we called Red Robin but I'm not sure it was but both were past their best.