Assertion list
short talk (subgroup of talk ) → IsA
Results from Ascent++: 1
short talk → IsA → excerpt 0.25