Symbol: SMT_RDF_NOPARAM