for I, J, K being Program of holds (I ";" J) ";" K = I ";" (J ";" K)