Assertion list
key (aspect of table ) → HasA
Results from Ascent++: 2
key → HasA → index 0.45
key → HasA → the hash of the file 0.25