mutant phenotype evidence used in automatic assertion