These checks go beyond syntactic checking to ensure that statements are semantically correct.

• 这些检查过程超过了对语意检查确保声明正确。