Слово.ру: Балтийский акцент
Семантика подтверждения и установки de re
... верификации и прослеживаются связи слов верификации с установками de re. Предложения верификации имеют уровневую структуру с двумя одноместными операторами VER и ACT: VER (ACT (p)). Оператор VER задает связь с событием верификации, где X доказал p в действительном мире, в то время как ACT делает предложение ...
