Executed from: TOM-PROLOG VALIDATION
/l3i.event.opendata/corpus/rmm2_relaxnews_new/ptom/rmm2_104.xmi.periodicaltime
pti(from(ate([(11,hour),(0,day)])),to(ate([(19,hour),(0,day)]))),R,M).
OK
pti(from(ate([(25,day),(11,month),(0,year)])),to(ate([(18,day),(12,month),(0,year)]))),R,M).
OK
pti(from(ate([(10,hour),(0,day)])),to(ate([(19,hour),(0,day)]))),R,M).
OK
pti(from(ate([(19,day),(12,month),(0,year)])),to(ate([(3,day),(1,month),(0,year)])),nplus1),R,M).
OK
pti(from(ate([(10,hour),(0,day)])),to(ate([(21,hour),(0,day)]))),R,M).
OK
pti(from(ate([(10,hour),(0,day)])),to(ate([(19,hour),(0,day)]))),R,M).
OK