Assertion list
hilt (primary) → AtLocation
Results from Ascent++: 1
hilt → AtLocation → good order 0.38