(
self, mapping: dict[str, gm.Point]
)
| 447 | return f'{premise_txt} => {conclusion_txt}' |
| 448 | |
| 449 | def conclusion_name_args( |
| 450 | self, mapping: dict[str, gm.Point] |
| 451 | ) -> tuple[str, list[gm.Point]]: |
| 452 | mapping = {arg: p for arg, p in mapping.items() if isinstance(arg, str)} |
| 453 | c = self.conclusion[0] |
| 454 | args = [mapping[a] for a in c.args] |
| 455 | return c.name, args |
| 456 | |
| 457 | |
| 458 | def why_eqratio( |