On symbolic semantics for name-decorated contexts