def __str__(self): _str = [State.__str__(self)] for spec in self.specifics: _str.append('{}'.format(spec)) return '\n'.join(_str)