PanLinx
русский
rus-000
многосортная сигнатура
English
eng-000
many-sorted signature
PanLex