Assertion list
ensemble (primary) → HasA
Results from Ascent++: 1
ensemble → HasA → the privilege 0.16