Assertion list
second choice (subgroup of choice ) → CapableOf

Results from Ascent++: 1
second choiceCapableOf advanced policy 0.16