We built our own domain specific language that combines deep learning models and automated reasoning to provide an API that feels like writing prose but achieves intelligent behavior in 1/10th of the code required today.