Symbol: SMT_RDF