Symbol: SMT_RDF_LENGTH