discussion:logical_semantics