PanLinx
русский
rus-000
глобальное утверждение
English
eng-000
global assertion
PanLex