Text this: Tractable reasoning in artificial intelligence /