PanLinx
ISO 12620
art-317
deduction
日本語
jpn-000
演繹
PanLex
