Learning to Reason About Variability