Assertion list
annual subscription (subgroup of subscription ) → IsA

Results from Ascent++: 1
annual subscriptionIsA such sums 0.53