How is fact-calculation-inference-separation connected to Product?

GQ-0253