Text this: Logic based knowledge representation /