A_{\op{all}} (s_1 \sqcap^{\op{Num}^{\#}} s_2,a_1 \sqcap^{\op{Val}^{\#}} a_2)