PanLinx
русский
rus-000
формализованная модель
English
eng-000
formalized model
PanLex
