IBM Symposium: Natural Language and Logic, 1989