Assertion list
turn (primary) → HasA
Results from Ascent++: 1
turn → HasA → a set of permissible actions 0.29