What challenges does Fact, Calculation & Inference Separation address?

GQ-0035