bound_semantics