Assertion list
bobcat (primary) → AtLocation
Results from Ascent++: 2
bobcat → AtLocation → the wild 0.54
bobcat → AtLocation → 4×8 wire 0.25