Assertion list
meeting agenda (subgroup of agenda ) → IsA
Results from Ascent++: 1
meeting agenda → IsA → tool 0.31