Determinacy Error in scasp_human #582
Description
In circumstances where a numerical formula is being used, and all the variables in that formula are unground, we can get a determinacy error from SWIPL in the process of generating an scasp natural language explanation.