Formal theories of the commonsense world - Hobbs, Jerry R.; Moore, Robert C. 1948- (Ablex series in artificial intelligence, 1985)