Logic and the $2$-Simplicial Transformer