Text this: Logic and knowledge