Ascent++
Search
Assertion list
leap year
(
subgroup
of
year
)
→ IsA
Results from
Ascent++
:
1
leap year
→
IsA
→
year
0.66