Assertion list
property (aspect of silicon ) → HasProperty
Results from Ascent++: 1
property → HasProperty → important 0.25