clara

2021-11-04T01:05:50.042100Z

@oscarlinusericsson perhaps a negation rule expressed in the negated form of what you were looking for?

2021-11-04T01:06:10.042600Z

Basically turning “for all” into “there does not exist any”

2021-11-04T01:07:02.043500Z

From “All facts have x” To “No fact does not have x”

🙏 1