PanLinx
日本語
jpn-000
推論機構
English
eng-000
inferencer
PanLex