semantics binop