Tag symbolic deduction