successful test of preliminary semantic checking