GeneralProductFormula[(A⋁B)⋀X] takes graded elements A and B, and a simple element X (expressed as a numerically graded symbol or simple exterior product of 1-element factors) and composes the relevant Product Formula from the sum of terms involving the span and cospan of X.