Assertion list
sediment (primary) → AtLocation
Results from Ascent++: 3
sediment → AtLocation → water 0.45
sediment → AtLocation → the bucket 0.41
sediment → AtLocation → pipe 0.28