Symbol: solvable_lookup_str