la:discussion:logical_semantics