PanLinx

Englisheng-000
many-sorted term
русскийrus-000многотипный терм
русскийrus-000терм с несколькими типами переменных

PanLex

PanLex-PanLinx