For what does an interaction operator define semantics?