sa:discussion:hi:logical_semantics