add class SemanticsException