Assertion list
tule elk (subgroup of elk ) → AtLocation
Results from Ascent++: 1
tule elk → AtLocation → california 0.68