Assertion list
second phase (subgroup of phase ) → IsA
Results from Ascent++: 1
second phase → IsA → actual seizure 0.25