Assertion list
tree kangaroo (subgroup of kangaroo ) → AtLocation
Results from Ascent++: 1
tree kangaroo → AtLocation → tree 0.68