A notation for representing conceptual information: An application to semantics and mechanical English paraphrasing