Assertion list
gyroscope (primary) → IsA
Results from Ascent++: 2
gyroscope → IsA → device 0.68
gyroscope → IsA → spinning wheel 0.49