PanLinx: ревизор утверждений

русский	rus-000
ревизор утверждений

English	eng-000	assertion checker
русский	rus-000	блок проверки утверждений

PanLex-PanLinx