Is composition associative? Check!
Associativity for <= seems a bit weird to me; generally you want the value inside of () to be comparable outside; but (1 <= 2) <= 3 would result in True <= 3. So I think the best way to think of associativity here is that it just does not apply, and the () can be dropped.