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