derivation rules
preferred label: قواعد اشتقاق @fa
type: Concept
narrower: elimination rule

elimination rule
broader: derivation rules
preferred label: قاعده حذف @fa
type: Concept