Executed from: TOM-PROLOG VALIDATION /l3i.event.opendata/corpus/rmm2_relaxnews_new/ptom/rmm2_500.xmi.periodicaltime pti(from(ate([(3,day),(0,week)]))),R,M). OK pti(from(ate([(6,day),(0,week)]))),R,M). OK