Can handle semantic errors