Assertion list
leap year (subgroup of year ) → HasProperty

Results from Ascent++: 1
leap yearHasProperty divisible 0.70