Assertion list
number (aspect of node ) → HasA

Results from Ascent++: 1
numberHasA available 0.25