discussion:la:logical_semantics