Assertion list
new spreadsheet (subgroup of spreadsheet ) → IsA
Results from Ascent++: 1
new spreadsheet → IsA → huge table 0.68