Assertion list
tree frog (subgroup of frog ) → AtLocation
Results from Ascent++: 1
tree frog → AtLocation → tree 0.82