Title: Symbolic manipulations related to certain aspects such as interpretations of graphs