Semantic RuleXi⋅aj=f(X0⋅a1,X0⋅a2,X1⋅a1,X1⋅a2,X2⋅a1,X2⋅a2)X_i \cdot a_j = f(X_0 \cdot a_1, X_0 \cdot a_2, X_1 \cdot a_1, X_1 \cdot a_2, X_2 \cdot a_1, X_2 \cdot a_2)Xi⋅aj=f(X0⋅a1,X0⋅a2,X1⋅a1,X1⋅a2,X2⋅a1,X2⋅a2)
