Assertion list
tricycle (primary) → HasA
Results from Ascent++: 2
tricycle → HasA → wheel 0.61
tricycle → HasA → seat 0.25