State of the art machine translation tools use statistical inference instead of vast rulesets and I shudder to think what that would mean for CEV.

It would mean using Bayesian (probabilistic) logic instead of Aristotelian logic.