inference by association of genotype from phenotype used in automatic assertion