Assertion list
tricycle (primary) → UsedFor
Results from Ascent++: 1
tricycle → UsedFor → exercise 0.49