Корпус объёмом более 47 млн слов разных жанров второй половины XX – начала XXI века. Разметка содержит леммы и части речи.
Что это-де не они, что это в уравнениях только, мол, сам компьютер, в сугубо математическом выражении решение леммы Perfect Assured Secrecy оказалось именно таким, но это ведь абстракция, не учитывающая этического фактора, никогда она не принималась всерьёз, и я обижаю всех, говоря в такой момент, подозревая их, и так далее…
Оно включает в себя три определения, три леммы, несколько теорем (без доказательств) и наименования глав предполагаемого обширного труда по коническим сечениям.