Assertion list
gray fox (subgroup of fox ) → AtLocation
Results from Ascent++: 1
gray fox → AtLocation → urban areas 0.25