A unified rule format for bounded nondeterminism in SOS with terms as labels