Assertion list
flywheel (primary) → HasA
Results from Ascent++: 4
flywheel → HasA → fin 0.32
flywheel → HasA → significant moment of inertia 0.29
flywheel → HasA → emission 0.25
flywheel → HasA → magnet 0.25