Assertion list
type (aspect of variable ) → HasA
Results from Ascent++: 4
type → HasA → effect 0.47
type → HasA → value 0.44
type → HasA → value semantics 0.28
type → HasA → exemption 0.25