[golemarms]

Not really symbolic reasoning. I'm thinking more along the line of classic ML techniques like Random Forest/GLMs have long been successfully applied to business problems.