From natural language processing to logic for expert systems A logic based approach to artificial intelligence - lh