Assertion list
red wolf (subgroup of wolf ) → AtLocation
Results from Ascent++: 1
red wolf → AtLocation → the wild 0.61