Calculate entailments in separate process

Display via AJAX, which queries until ready