Assertion list for term "the smallest fox".

Results from Ascent++: 1
fennec fox (subgroup of fox) IsAthe smallest fox 0.25