Assertion list
vampire bat (subgroup of bat ) → AtLocation
Results from Ascent++: 1
vampire bat → AtLocation → south america 0.41