Text this: Formal theories of the commonsense world /