On Formal Versus Commonsense Semantics David Israel author 1987 text Theoretical Issues in Natural Language Processing 3 Yorick Wilks editor conference publication israel-1987-formal https://aclanthology.org/T87-1028/ 1987