Assertion list
wild rat (subgroup of rat ) → AtLocation
Results from Ascent++: 2
wild rat → AtLocation → city 0.59
wild rat → AtLocation → good environments 0.59