Assertion list
new document (subgroup of document ) → HasA
Results from Ascent++: 1
new document → HasA → unique key 0.16