Assertion list
hermit crab (primary) → AtLocation

Results from Ascent++: 1
hermit crabAtLocation shell 0.57