Assertion list
shaker (primary) → HasA
Results from Ascent++: 2
shaker → HasA → an oscillating board 0.32
shaker → HasA → platform 0.25