datehas(year,  thedate(Y,_,_), Y).
datehas(month, thedate(_,M,_), M).
datehas(day,   thedate(_,_,D), D).

taxday(thedate(2004,4,15)).