If your hosts are already sorted in WATO folders based on the location, I would solve it like this:
- In the WATO folders for budapest and denver, go to the the folder properties and set another label, e.g.
budapest_or_denver:true - Use this as a label condition for your rule.
A more generalized approach would be to use the ruleset “Host labels”. Here you can set a label based on an host tag. Create two rules, both setting the label budapest_or_denver:true. The first one matches on the host tag “Satellite” = “Budapest”, the second one on “Satellite” = “Denver”.