CTLSPEC AG((TYP_ROKU = przestepny & MIESIAC = luty) -> MAX_DNI = 29 )
CTLSPEC AG((TYP_ROKU = przestepny & MIESIAC = luty) -> DZIEN <= 29 )
CTLSPEC AG((TYP_ROKU = normalny & MIESIAC = luty) -> MAX_DNI = 28 )
CTLSPEC AG((TYP_ROKU = normalny & MIESIAC = luty) -> DZIEN <= 28 )
CTLSPEC AG(ROK >= 1900 & ROK <= 2018 )
CTLSPEC AG(TYP_ROKU = normalny | TYP_ROKU = przestepny )
CTLSPEC AG((TYP_ROKU = przestepny) <-> (((ROK) mod 4 = 0 & (ROK) mod 100 != 0) | (ROK) mod 400 = 0) )
CTLSPEC AG((ROK = 2011) -> TYP_ROKU = normalny )
CTLSPEC AG((ROK = 2012) -> TYP_ROKU = przestepny )
CTLSPEC AF( TYP_ROKU = przestepny )
CTLSPEC AF( TYP_ROKU = normalny )
CTLSPEC AF( ROK = 2018 & MIESIAC = grudzien & DZIEN = 31 )
CTLSPEC EF( ROK < 1900 )
CTLSPEC EF( ROK > 2018 )