Assertion list
tricycle (primary) → UsedFor

Results from Ascent++: 1
tricycleUsedFor exercise 0.49