In the section "Reasoning about Exclusivity: Facts Symbols with Injective Instances" it would be helpful to note that one can view which facts are injective. I found this feature accidentially.
They can be showed by clicking on "Multiset rewriting rules and restrictions".
In the section "Reasoning about Exclusivity: Facts Symbols with Injective Instances" it would be helpful to note that one can view which facts are injective. I found this feature accidentially.
They can be showed by clicking on "Multiset rewriting rules and restrictions".