Stadtbach Deductions neighborhood is for example Stadtbach ⇐ (Stadtbach is a neighborhood), (is a is inverse of is for example)