Assertion list
gregorian calendar (subgroup of calendar ) → HasA
Results from Ascent++: 2
gregorian calendar → HasA → a leap year 0.25
gregorian calendar → HasA → same months 0.25