Interface Semantic<K,​V,​R>