When are geographic quantities semantically compatible with each other? Towards a constructive theory of amounts, magnitudes, and proportions

This repository contains supplementary files for the paper titled When are geographic quantities semantically compatible with each other? Towards a constructive theory of amounts, magnitudes, and proportions by Simon Scheider, Shuai Wang, and Eric Top. The paper will be presented at the the 17th Conference on Spatial Information Theory (COSIT) in York, UK. The repository contains a file of Prover 9, the ArcGIS workspace, some screenshots,and related files.