discussion:sa:hi:logical_semantics