Adding two equivalence relations to the interval temporal logic AB