Executed from: TOM-PROLOG VALIDATION /l3i.event.opendata/corpus/rmm2_relaxnews_new/ptom/rmm2_26.xmi.periodicaltime pti(from(ate([(21,hour),(0,day)])),to(ate([(4,hour),(0,day)])),nplus1),R,M). OK