Precision of probabilistic deduction under taxonomic knowledge