Semantics in installCommand