Text this: Logic-based knowledge representation /