PanLinx
日本語
jpn-000
推論規則
English
eng-000
rules of inference
PanLex