Assertion list
pedal (primary) → IsA

Results from Ascent++: 1
pedalIsA lever 0.33