zh:logical_semantics