zh:discussion:logical_semantics