Assertion list
jail (primary) → HasA
Results from Ascent++: 1
jail → HasA → policy 0.30