In this section we expand the body of mathematical results on partial ITS graphs that some of us developed in . The notation follows this publication. As in, we assume that different tools provide their predicted AAMs in terms of their own renumbering of atoms (vertices). Thus, AAMs produced by different tools for the same input are not defined on the same (input) graphs but rather on isomorphic representations. We consider two complete AAMs