PanLinx
русский
rus-000
формальное представление в явном виде
English
eng-000
explicit formalism
PanLex
