PanLinx
русский
rus-000
вероятностный оператор
English
eng-000
probabilistic operator
PanLex
