Assertion list
hull (primary) → AtLocation
Results from Ascent++: 3
hull → AtLocation → the water 0.56
hull → AtLocation → the mold 0.31
hull → AtLocation → good order 0.19