Assertion list
commuter (primary) → HasA
Results from Ascent++: 1
commuter → HasA → added benefit 0.16