English ⇄ Arabic Chinese simplified Czech Danish Dutch English Estonian Finnish French German Hungarian Icelandic Italian Japanese Latvian Lithuanian Norwegian Bokmål Polish Portuguese Russian Spanish Swedish Thai

derivation rule
abbr.	rule of derivation (ssn); rule of inference (ssn); deduction rule (ssn); inference rule (ssn)