Assertion list
leap year (subgroup of year ) → HasA
Results from Ascent++: 5
leap year → HasA → 366 days 0.68
leap year → HasA → one additional day 0.49
leap year → HasA → 385 days 0.40
leap year → HasA → 13 months 0.34
leap year → HasA → two adjoining dominical letters 0.25