Semantics with objects