Assertion list
bloodhound (primary) → AtLocation
Results from Ascent++: 1
bloodhound → AtLocation → harmony 0.16