Started semantic checking.