Assertion list
leap day (primary) → IsA
Results from Ascent++: 1
leap day → IsA → day 0.58