Assertion list
new agenda (subgroup of agenda ) → IsA
Results from Ascent++: 1
new agenda → IsA → promise 0.68