'Definitions: "' + '", "'
                    .join([str(definition) for definition in self.definitions]) +