generalized semantics