Assertion list
effect (aspect of sage ) → HasProperty
Results from Ascent++: 2
effect → HasProperty → dramatic 0.68
effect → HasProperty → swift 0.25