Semantics check file.