DEDUCING USING AUTOMATED REASONING: THE NEXT BOUNDARY POWERING WIDESPREAD AND AGILE PREDICTIVE MODEL SYSTEMS