terms in semantics for move