DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY