Assertion list
excel spreadsheet (subgroup of spreadsheet ) → HasA
Results from Ascent++: 1
excel spreadsheet → HasA → datum 0.43