ich sehe es auch so, die Eigenschaft atm=yes auf einer Bank sagt aus, dass die Bank einen Geldautomaten hat, aber das ist eine Eigenschaft der Bank. Man kann davon zwar auf einen atm schließen, aber das heißt nicht, dass man den (selben) Geldautomaten nicht noch explizit mappen kann.