Hook up the logic for semantic check.