Assertion list
arch (primary) → UsedFor
Results from Ascent++: 1
arch → UsedFor → pedestrian 0.25