EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY