PanLinx
русский
rus-000
терм с несколькими типами переменных
English
eng-000
many-sorted term
PanLex