Assertion list
strong password (subgroup of password ) → HasProperty
Results from Ascent++: 2
strong password → HasProperty → long 0.45
strong password → HasProperty → random 0.25