logical_semantics