A formalism for inter-perspective relationships checking