Assertion list
history table (subgroup of table ) → HasA

Results from Ascent++: 1
history tableHasA same schema 0.25