Networks of Plausible Inference. Morgan Kaufman. 1988. PJ88b. Steven Pinker and .1acquesMehler. Connections and Symbols. MIT Press, 1988. Pro13. The Univalent Foundations Program. Homology Type Theory: Univalent Foundations of Mathe- matics. Institute for Advanced Study, 2013. RCC93. D. A. Randell, Z. Cui, and A. G. Cohn. A