(self)
| 442 | self.is_arg_reduce = True |
| 443 | |
| 444 | def txt(self) -> str: |
| 445 | premise_txt = ', '.join([clause.txt() for clause in self.premise]) |
| 446 | conclusion_txt = ', '.join([clause.txt() for clause in self.conclusion]) |
| 447 | return f'{premise_txt} => {conclusion_txt}' |
| 448 | |
| 449 | def conclusion_name_args( |
| 450 | self, mapping: dict[str, gm.Point] |