Assertion list
spreadsheet (primary) → IsA
Results from Ascent++: 1
spreadsheet → IsA → program 0.47