Assertion list
roborovski hamster (subgroup of hamster ) → HasProperty
Results from Ascent++: 1
roborovski hamster → HasProperty → small 0.59