Semantics: command -> entry