Text this: Logic mining in neural networks /