Assertion list
bobber (primary) → HasA
Results from Ascent++: 1
bobber → HasA → small light bulb 0.25