PanLinx
English
eng-000
skolemising
русский
rus-000
сколемизация
PanLex