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