Second order tensors of 3-dimensions.
(<= (Spatial.Dimension $X 3) (3d-Dyad $X)) (=> (3d-Dyad ?X) (Spatial.Dimension ?X 3))