la:discussion:en:logical_semantics