Assertion list
hertz (primary) → UsedFor
Results from Ascent++: 1
hertz → UsedFor → periodic phenomena 0.29