k-Semantics: Tests for Bindings across hierarchy levels