Assertion list
function (aspect of key ) → HasA
Results from Ascent++: 1
function → HasA → datastore updates 0.25