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