Assertion list
vampire bat (subgroup of bat ) → HasProperty
Results from Ascent++: 2
vampire bat → HasProperty → hematophagous 0.45
vampire bat → HasProperty → real 0.25