Assertion list
picket (primary) → HasA
Results from Ascent++: 1
picket → HasA → other reasonable opportunity 0.32