Executed from: TOM-PROLOG VALIDATION
/l3i.event.opendata/corpus/rmm2_relaxnews_new/ptom/rmm2_173.xmi.periodicaltime
pti(from(ate([(18,hour),(0,day)])),to(ate([(20,hour),(0,day)]))),R,M).
OK
pti(from(ate([(15,hour),(0,day)])),to(ate([(20,hour),(0,day)]))),R,M).
OK
pti(from(ate([(14,hour),(0,day)])),to(ate([(20,hour),(0,day)]))),R,M).
OK
pti(from(ate([(15,hour),(0,day)])),to(ate([(20,hour),(0,day)]))),R,M).
OK
pti(from(ate([(30,minute),(12,hour),(0,day)])),to(ate([(20,hour),(0,day)]))),R,M).
OK
pti(from(ate([(30,minute),(12,hour),(0,day)])),to(ate([(20,hour),(0,day)]))),R,M).
OK
pti(from(ate([(16,hour),(0,day)])),to(ate([(19,hour),(0,day)]))),R,M).
OK