Assertion: date | /r/HasProperty | =3rd month
Facets:
Source sentences:
text: \displaystyle -(INT((y-1)/4)-INT((y-1)/100)+INT((y-1)/400)))*MAX(0,MIN(1,m-2)))} //only count a leap year if date is >=3rd month //leap year logic