Text this: Logic-Based Pattern Discovery.