Assertion list
boogie (primary) → HasA
Results from Ascent++: 3
boogie → HasA → balloon 0.38
boogie → HasA → some sort of competition 0.38
boogie → HasA → special events 0.38