Formalization and Implementation of Cognitive Semantics Joseph A Goguen Computer Science & Engineering University of California at San Diego Thanks to Fox Harrell for…