The term {tt (boole $tau$ $tau_1$ $tau_2$)} denotes the result of applying the operation denoted by $tau$ to the objects denoted by $tau_1$ and $tau_2$.