Tag symbolic logic