PanLinx
日本語
jpn-000
埋め込まれた命題
PanLex