zh:hi:logical_semantics