Extension:CheckSemanticProperties