A Formal Calculus for International Relations Computation and Evaluation Preprint in arXiv (April 2016)