Symbol: SMT_RDF_SUCCESS