PanLinx
русский
rus-000
обобщённая подстановка
English
eng-000
distributive substitution
PanLex
