Assertion list
prologue (primary) → IsA
Results from Ascent++: 1
prologue → IsA → introduction 0.46