SemanticStatement