56495 Task 56495: first-order-theorem-proving (Subgroup Discovery) 8 Subgroup Discovery 1475 Class 2 Cortana Quality Cortana sdbatch study_17