Assertion list
new subscription (subgroup of subscription ) → CapableOf
Results from Ascent++: 1
new subscription → CapableOf → go into effect 0.46