PanLinx
English
eng-000
skolemisation
日本語
jpn-000
スコーレム化
PanLex