Assertion list
metronome (primary) → IsA
Results from Ascent++: 2
metronome → IsA → machine 0.25
metronome → IsA → pendulum 0.25