Consistency statements in semi-euclidean systems