Assertion list
male elephant (subgroup of elephant ) → AtLocation

Results from Ascent++: 1
male elephantAtLocation isolation 0.34