Grammar: Deduction