Towards a semantic approach to numerical tree inference in phylogenetics. (10th March 2017)