update semantics algebras and valuation functions