Taxonomy assignment plugged into solver.