discussion:zh:logical_semantics