sa:hi:logical_semantics