Assertion list
ball bearing (primary) → AtLocation
Results from Ascent++: 1
ball bearing → AtLocation → smaller devices 0.56