derivement
type: Term
language: eng
translation: deduction
translation: inference