Assertion list
clog (primary) → AtLocation
Results from Ascent++: 1
clog → AtLocation → the vacuum head 0.34