Executed from: TOM-PROLOG VALIDATION /l3i.event.opendata/corpus/rmm2_relaxnews_new/ptom/rmm2_102.xmi.periodicaltime pti(from(ate([(11,hour),(0,day)])),to(ate([(30,minute),(17,hour),(0,day)]))),R,M). OK pti(from(ate([(12,hour),(0,day)])),to(ate([(30,minute),(17,hour),(0,day)]))),R,M). OK pti(from(ate([(12,hour),(0,day)])),to(ate([(30,minute),(17,hour),(0,day)]))),R,M). OK pti(from(ate([(25,day),(12,month),(0,year)])),to(ate([(4,day),(1,month),(0,year)])),nplus1),R,M). OK