Adding one or more equivalence relations to the interval temporal logic ABBbar