discussion:en:logical_semantics