Assertion list
rotisserie (primary) → HasA
Results from Ascent++: 1
rotisserie → HasA → counterweight 0.45