ComputeInteriorProductFormula[(A⋀B)⊖X] computes the interior product formula for the expansion of (A⋀B)⊖X from the computable formula based on the span and cospan of X. X may be a simple exterior product of 1-element factors, or it may be a numerically graded symbol, A and B can be arbitrary expressions, but A must be gradeable.