animal model system study evidence used in automatic assertion