Assertion list
fruit bat (subgroup of bat ) → HasProperty
Results from Ascent++: 1
fruit bat → HasProperty → large 0.25