Class Diagram: keyvalue_example / semantics