Executed from: TOM-PROLOG VALIDATION /l3i.event.opendata/corpus/rmm2_relaxnews_new/ptom/rmm2_127.xmi.periodicaltime pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(30,minute),(18,hour),(0,day)]))),R,M). OK pti(from(ate([(13,hour),(0,day)])),to(ate([(30,minute),(18,hour),(0,day)]))),R,M). OK pti(from(ate([(7,day),(0,week)]))),R,M). OK pti(from(ate([(1,day),(0,week)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(17,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(30,minute),(18,hour),(0,day)]))),R,M). OK pti(from(ate([(13,hour),(0,day)])),to(ate([(18,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(17,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(30,minute),(18,hour),(0,day)]))),R,M). OK pti(from(ate([(13,hour),(0,day)])),to(ate([(18,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(17,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(30,minute),(18,hour),(0,day)]))),R,M). OK pti(from(ate([(13,hour),(0,day)])),to(ate([(18,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(17,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(30,minute),(18,hour),(0,day)]))),R,M). OK pti(from(ate([(13,hour),(0,day)])),to(ate([(18,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(17,hour),(0,day)]))),R,M). OK pti(from(ate([(30,minute),(10,hour),(0,day)])),to(ate([(30,minute),(18,hour),(0,day)]))),R,M). OK pti(from(ate([(13,hour),(0,day)])),to(ate([(18,hour),(0,day)]))),R,M). OK