PanLinx
日本語
jpn-000
真の命題
English
eng-000
true proposition
PanLex