PanLinx
русский
rus-000
формальное определение
English
eng-000
formal definition
PanLex