Assertion list
prime rate (subgroup of rate ) → HasProperty

Results from Ascent++: 1
prime rateHasProperty low 0.46