Providing a formal foundation for date arithmetic in legal systems, focusing on detecting ambiguities.