Add spinner while calculating entailments