Use active learning to classify data represented as boundaries of regions in parameter space where a parametrised logical formula holds.