PanLinx: блок проверки утверждений

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

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

PanLex-PanLinx